From: simonmar Date: Tue, 30 Jan 2001 15:28:25 +0000 (+0000) Subject: [project @ 2001-01-30 15:28:25 by simonmar] X-Git-Tag: Approximately_9120_patches~2766 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=9710d56a8bf53433d16d6d44da3a6e9a35955cce;p=ghc-hetmet.git [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 --- 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") )