[project @ 2005-05-19 09:55:33 by simonmar]

Add skip_if_no_ghci

[project @ 2005-05-19 09:55:33 by simonmar]
Add skip_if_no_ghci
9fe9d463 · simonmar · 2a3dbc81 · 9fe9d463
Commit 9fe9d463 authored May 19, 2005 by simonmar
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

testsuite/driver/testlib.py testsuite/driver/testlib.py +6 -0

No files found.
--- a/testsuite/driver/testlib.py
+++ b/testsuite/driver/testlib.py
@@ -282,6 +282,12 @@ def _extra_run_opts( opts, v ):
 def no_clean( opts ):
    opts.cleanup = '';

+# -----
+
+def skip_if_no_ghci(opts):
+  if not ('ghci' in config.run_ways):
+      opts.skip = 1
+
 # ----
 # Function for composing two opt-fns together