diff options
Diffstat (limited to 'testsuite/driver/testlib.py')
| -rw-r--r-- | testsuite/driver/testlib.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 43aab6f0da..370cdf1988 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -317,6 +317,10 @@ def req_ghc_with_threaded_rts( name, opts ): if not config.ghc_with_threaded_rts: opts.skip = True +def req_process( name, opts ): + if not config.have_process: + opts.skip = True + def ignore_stdout(name, opts): opts.ignore_stdout = True |