Commit a02314bd authored by simonmar's avatar simonmar
Browse files

[project @ 2005-01-28 14:21:12 by simonmar]

Fix -no-recomp
parent 81066717
......@@ -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_ )
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment