[project @ 2001-06-22 13:30:18 by rrt]
authorrrt <unknown>
Fri, 22 Jun 2001 13:30:18 +0000 (13:30 +0000)
committerrrt <unknown>
Fri, 22 Jun 2001 13:30:18 +0000 (13:30 +0000)
commitaf674cf036c7a0f8d15c0061966ebbd253c31f48
treeb4a359c52b5c30210aa97d541c9eb758bb5282cc
parent420f5413c8dfd2aaf07e28ef1fe9e37c8a0678bf
[project @ 2001-06-22 13:30:18 by rrt]
Instead of using the old kludgedSystem on Windows, use the new system. This
makes the use of DOS built-ins such as copy work, which they didn't when the
command was run under sh (as the old kludgedSystem did).
ghc/compiler/main/SysTools.lhs