diff --git a/testsuite/config/ghc b/testsuite/config/ghc index 90b11bc57fc49591d4ffea76f4d469459c060ab2..40f163604f60e3224fa45d7b24857e85e7d21114 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 []),