diff options
| -rw-r--r-- | ghc/compiler/main/DriverFlags.hs | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/ghc/compiler/main/DriverFlags.hs b/ghc/compiler/main/DriverFlags.hs index cb5ce97066..3282b50be7 100644 --- a/ghc/compiler/main/DriverFlags.hs +++ b/ghc/compiler/main/DriverFlags.hs @@ -1,7 +1,7 @@ {-# OPTIONS -#include "hschooks.h" #-} ----------------------------------------------------------------------------- --- $Id: DriverFlags.hs,v 1.42 2001/01/30 10:52:14 simonmar Exp $ +-- $Id: DriverFlags.hs,v 1.43 2001/01/30 15:28:25 simonmar Exp $ -- -- Driver flags -- @@ -187,10 +187,6 @@ static_flags = , ( "dppr-user-length", AnySuffix (add v_Opt_C) ) -- rest of the debugging flags are dynamic - ------- Interface files --------------------------------------------- - , ( "hi" , NoArg (writeIORef v_ProduceHi True) ) - , ( "nohi" , NoArg (writeIORef v_ProduceHi False) ) - --------- Profiling -------------------------------------------------- , ( "auto-dicts" , NoArg (add v_Opt_C "-fauto-sccs-on-dicts") ) , ( "auto-all" , NoArg (add v_Opt_C "-fauto-sccs-on-all-toplevs") ) |