diff options
Diffstat (limited to 'testsuite/driver/testlib.py')
| -rw-r--r-- | testsuite/driver/testlib.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 5f3f44d035..8a9c280835 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -439,10 +439,17 @@ def only_ways( ways: List[WayName] ): # ----- +def valid_way( way: WayName ) -> bool: + if way in {'ghci', 'ghci-ext'}: + return config.have_RTS_linker + if way == 'ghci-ext-prof': + return config.have_RTS_linker and config.have_profiling + return True + def extra_ways( ways: List[WayName] ): def helper( name: TestName, opts ): _lint_ways(name, ways) - opts.extra_ways = ways + opts.extra_ways = [way for way in ways if valid_way(way)] return helper |