diff --git a/testsuite/config/ghc b/testsuite/config/ghc index 01d1fcf14e9dba0e66c92e2dc01871c18f973aad..02c76f40180c552040efbee67a869169c04fcac8 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -93,8 +93,8 @@ config.way_flags = { 'llvm' : ['-fllvm'], 'optllvm' : ['-O', '-fllvm'], 'debugllvm' : ['-fllvm', '-keep-llvm-files'], - 'prof' : ['-prof', '-static', '-fprof-auto', '-fasm'], - 'prof_no_auto' : ['-prof', '-static', '-fasm'], + 'prof' : ['-prof', '-static', '-fprof-auto'], + 'prof_no_auto' : ['-prof', '-static'], 'profasm' : ['-O', '-prof', '-static', '-fprof-auto'], 'profthreaded' : ['-O', '-prof', '-static', '-fprof-auto', '-threaded'], 'ghci' : ['--interactive', '-fno-unoptimized-core-for-interpreter', '-O0', '-v0', '-ignore-dot-ghci', '-fno-ghci-history', '+RTS', '-I0.1', '-RTS'] + (['-fghci-leak-check'] if not config.compiler_debugged else []),