-
Simon Marlow authored
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.
6cc5709b
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.