diff options
Diffstat (limited to 'testsuite/driver')
| -rw-r--r-- | testsuite/driver/testglobals.py | 3 | ||||
| -rw-r--r-- | testsuite/driver/testlib.py | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/driver/testglobals.py b/testsuite/driver/testglobals.py index 6604036c12..6688d961d2 100644 --- a/testsuite/driver/testglobals.py +++ b/testsuite/driver/testglobals.py @@ -142,6 +142,9 @@ class TestConfig: # Do we have RTS linker? self.have_RTS_linker = False + # Do we have threaded RTS? + self.ghc_with_threaded_rts = False + # Does the platform support loading of dynamic shared libraries? e.g. # some musl-based environments do not. self.supports_dynamic_libs = True diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 8ab42e4508..43aab6f0da 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -313,6 +313,10 @@ def req_target_smp( name, opts ): if not config.target_has_smp: opts.expect = 'fail' +def req_ghc_with_threaded_rts( name, opts ): + if not config.ghc_with_threaded_rts: + opts.skip = True + def ignore_stdout(name, opts): opts.ignore_stdout = True |