-
sof authored
[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.
4d579945