From a02314bd13e1ba3994a30721047f65f3986af288 Mon Sep 17 00:00:00 2001 From: simonmar Date: Fri, 28 Jan 2005 14:21:12 +0000 Subject: [PATCH] [project @ 2005-01-28 14:21:12 by simonmar] Fix -no-recomp --- ghc/compiler/main/DriverFlags.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ghc/compiler/main/DriverFlags.hs b/ghc/compiler/main/DriverFlags.hs index 2148f5e..f99f20e 100644 --- a/ghc/compiler/main/DriverFlags.hs +++ b/ghc/compiler/main/DriverFlags.hs @@ -194,10 +194,6 @@ static_flags = , ( "ignore-dot-ghci", NoArg (writeIORef v_Read_DotGHCi False) ) , ( "read-dot-ghci" , NoArg (writeIORef v_Read_DotGHCi True) ) - ------- recompilation checker -------------------------------------- - , ( "recomp" , NoArg (setRecompFlag True) ) - , ( "no-recomp" , NoArg (setRecompFlag False) ) - ------- ways -------------------------------------------------------- , ( "prof" , NoArg (addNoDups v_Ways WayProf) ) , ( "unreg" , NoArg (addNoDups v_Ways WayUnreg) ) @@ -339,6 +335,10 @@ dynamic_flags = [ , ( "opti", HasArg (addOpt_i) ) #endif + ------- recompilation checker -------------------------------------- + , ( "recomp" , NoArg (setRecompFlag True) ) + , ( "no-recomp" , NoArg (setRecompFlag False) ) + ------- Packages ---------------------------------------------------- , ( "package-conf" , HasArg extraPkgConf_ ) , ( "no-user-package-conf", NoArg noUserPkgConf_ ) -- 1.7.10.4