From bb6074550e0e7fadfd6a9d4b00e1230fa5af6f70 Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 14 Feb 2005 13:42:09 +0000 Subject: [PATCH] [project @ 2005-02-14 13:42:09 by simonmar] -d*-lint shouldn't turn off recompilation checking --- ghc/compiler/main/DriverFlags.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/ghc/compiler/main/DriverFlags.hs b/ghc/compiler/main/DriverFlags.hs index c4eea5e..892dce7 100644 --- a/ghc/compiler/main/DriverFlags.hs +++ b/ghc/compiler/main/DriverFlags.hs @@ -396,9 +396,9 @@ dynamic_flags = [ , ( "ddump-hi", setDumpFlag Opt_D_dump_hi) , ( "ddump-minimal-imports", setDumpFlag Opt_D_dump_minimal_imports) , ( "ddump-vect", setDumpFlag Opt_D_dump_vect) - , ( "dcore-lint", setDumpFlag Opt_DoCoreLinting) - , ( "dstg-lint", setDumpFlag Opt_DoStgLinting) - , ( "dcmm-lint", setDumpFlag Opt_DoCmmLinting) + , ( "dcore-lint", NoArg (setDynFlag Opt_DoCoreLinting)) + , ( "dstg-lint", NoArg (setDynFlag Opt_DoStgLinting)) + , ( "dcmm-lint", NoArg (setDynFlag Opt_DoCmmLinting)) , ( "dshow-passes", NoArg (setRecompFlag False >> setVerbosity "2") ) ------ Machine dependant (-m) stuff --------------------------- -- 1.7.10.4