diff options
-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 85c8b27c9e..a129b9a2cc 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -94,7 +94,7 @@ config.way_flags = { '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'] + (['-fghci-leak-check'] if not config.compiler_debugged else []), - 'sanity' : ['-debug'], + 'sanity' : ['-debug', '-dlint'], 'threaded1' : ['-threaded', '-debug'], 'threaded1_ls' : ['-threaded', '-debug'], 'threaded2' : ['-O', '-threaded'], |