diff options
Diffstat (limited to 'testsuite/config/ghc')
| -rw-r--r-- | testsuite/config/ghc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/config/ghc b/testsuite/config/ghc index 4ecdc5bcb0..6d90e83397 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -163,6 +163,9 @@ config.way_rts_flags = { prof_ways = [x[0] for x in config.way_flags.items() if '-prof' in x[1]] +debug_ways = [x[0] for x in config.way_flags.items() + if '-debug' in x[1]] + threaded_ways = [x[0] for x in config.way_flags.items() if '-threaded' in x[1] or 'ghci' == x[0]] |