diff options
| author | simonmar <unknown> | 2001-01-30 15:28:25 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2001-01-30 15:28:25 +0000 |
| commit | 9710d56a8bf53433d16d6d44da3a6e9a35955cce (patch) | |
| tree | 8b9d55272e9ffaceae1539f1c2034959bf86b6a3 | |
| parent | 3b7176c6e285089187f6772e502872cb57537870 (diff) | |
| download | haskell-9710d56a8bf53433d16d6d44da3a6e9a35955cce.tar.gz | |
[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.
| -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") ) |