diff options
Diffstat (limited to 'testsuite/config')
| -rw-r--r-- | testsuite/config/ghc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/config/ghc b/testsuite/config/ghc index c54ac6b385..fa2c9d7c7c 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -118,7 +118,7 @@ config.way_flags = { config.way_rts_flags = { 'normal' : [], - 'normal_h' : ['-h'], # works without -prof + 'normal_h' : ['-hT'], # works without -prof 'g1' : ['-G1'], 'nursery_chunks' : ['-n32k'], 'debug_numa' : ['-N2', '--debug-numa=2'], |