[project @ 2001-01-30 15:28:25 by simonmar]

remove -hi and -nohi which haven't worked for a while.  -ohi /dev/null
works just as well as -nohi.

diff --git a/ghc/compiler/main/DriverFlags.hs b/ghc/compiler/main/DriverFlags.hs
index cb5ce97..3282b50 100644 (file)
--- 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") )