[project @ 2000-07-14 08:19:02 by simonmar]
authorsimonmar <unknown>
Fri, 14 Jul 2000 08:19:02 +0000 (08:19 +0000)
committersimonmar <unknown>
Fri, 14 Jul 2000 08:19:02 +0000 (08:19 +0000)
commit6cc5709b0dcb71bbf97354cb1fd6dae1c0104f5b
tree1fbf0a4844dbc1322998480d53506b30b3b43fd6
parent77a8c0dbd5c5ad90fe483cb9ddc2b6ef36d3f4d8
[project @ 2000-07-14 08:19:02 by simonmar]
Add -keep-tmp-files flag, to tell the driver not to delete tmp files.
Useful mainly for debugging the driver, and obsoletes the GHC
folklore of using ^Z for this purpose.
ghc/driver/Main.hs