[project @ 2005-05-05 00:58:38 by sof]
authorsof <unknown>
Thu, 5 May 2005 00:58:38 +0000 (00:58 +0000)
committersof <unknown>
Thu, 5 May 2005 00:58:38 +0000 (00:58 +0000)
commit4d57994585c858a7be242c8db23a3e40834dfc72
treeecaf0cdd6759eb40857eaf0bc56bfb465a8b593f
parent2c77fa710ea39f78b4ab09217c67bc79db95b95d
[project @ 2005-05-05 00:58:38 by sof]
[mingw only]
Provide (unsatisfying) workaround for pesky Ctrl-C issue, whereby a
cygwin-based bash will terminate the 'ghci.exe' wrapper without the
wrapper process getting a chance to respond (and shut down its child,
if nothing else.) The result instead being that the child (ghc.exe) ends up
lingering in the background.

To steer users away from such badness, the wrapper checks to see whether
it is running in a *nix-like shell, and if it is, issue a warning that
it would be better to invoke GHCi using the 'ghcii.sh' shell script instead.

Merge to STABLE.
ghc/driver/ghci/Makefile
ghc/driver/ghci/ghci.c
ghc/driver/ghci/ghcii.sh [new file with mode: 0644]