[project @ 2001-01-30 15:28:25 by simonmar]
authorsimonmar <unknown>
Tue, 30 Jan 2001 15:28:25 +0000 (15:28 +0000)
committersimonmar <unknown>
Tue, 30 Jan 2001 15:28:25 +0000 (15:28 +0000)
commit9710d56a8bf53433d16d6d44da3a6e9a35955cce
tree8b9d55272e9ffaceae1539f1c2034959bf86b6a3
parent3b7176c6e285089187f6772e502872cb57537870
[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