diff options
Diffstat (limited to 'testsuite/config')
| -rw-r--r-- | testsuite/config/ghc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/config/ghc b/testsuite/config/ghc index 68d4a64979..b0d84535d6 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -76,6 +76,7 @@ config.way_flags = { 'optllvm' : ['-O', '-fllvm'], 'debugllvm' : ['-fllvm', '-keep-llvm-files'], 'prof' : ['-prof', '-static', '-fprof-auto', '-fasm'], + 'prof_no_auto' : ['-prof', '-static', '-fasm'], 'profasm' : ['-O', '-prof', '-static', '-fprof-auto'], 'profthreaded' : ['-O', '-prof', '-static', '-fprof-auto', '-threaded'], 'ghci' : ['--interactive', '-v0', '-ignore-dot-ghci', '-fno-ghci-history', '+RTS', '-I0.1', '-RTS'], @@ -111,6 +112,7 @@ config.way_rts_flags = { 'optllvm' : [], 'debugllvm' : [], 'prof' : ['-p'], + 'prof_no_auto' : ['-p'], 'profasm' : ['-hc', '-p'], # test heap profiling too 'profthreaded' : ['-p'], 'ghci' : [], |