X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fmain%2FDriverFlags.hs;fp=ghc%2Fcompiler%2Fmain%2FDriverFlags.hs;h=892dce7f1c5d1d3b7ff6b2503b7d1888205514f9;hb=bb6074550e0e7fadfd6a9d4b00e1230fa5af6f70;hp=c4eea5e46aa2a9e19e9b8e44158e15787c1bd7cc;hpb=c5baccd2b0fc8b987f6c9145a68f06f1d73036bb;p=ghc-hetmet.git

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<blah>) stuff ---------------------------