[project @ 2000-07-19 10:07:29 by rrt]
authorrrt <unknown>
Wed, 19 Jul 2000 10:07:29 +0000 (10:07 +0000)
committerrrt <unknown>
Wed, 19 Jul 2000 10:07:29 +0000 (10:07 +0000)
commit8239d074412691baee386950a377fdcc0dbb58aa
tree67716a91be11931a5b086914550af47acd9b32cd
parent906bb703fe8f2b660fa8c74abea3d02afbf537c5
[project @ 2000-07-19 10:07:29 by rrt]
Gave driver access to bash for running system calls under Windows by writing
command out to a temp file, then sending that as the argument to "sh -". Sigh.
This is #ifdefed on mingw32_TARGET_OS; saner OSs just use system as normal.
ghc/driver/Main.hs