simonmar 2001/01/30 07:28:25 PST
Modified files:
ghc/compiler/main DriverFlags.hs
Log:
remove -hi and -nohi which haven't worked for a while. -ohi /dev/null
works just as well as -nohi.
Revision Changes Path
1.43 +1 -5 fptools/ghc/compiler/main/DriverFlags.hs