From 9710d56a8bf53433d16d6d44da3a6e9a35955cce Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 30 Jan 2001 15:28:25 +0000
Subject: [PATCH] [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.

---
 ghc/compiler/main/DriverFlags.hs |    6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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