-
Simon Marlow authored
Fixes various problems with getting the scripts right on Windows. Binaries are universally executable by /bin/sh, cmd.exe and rawSystem, so this allows us to remove some platform-specific hacks.
c1548918
Fixes various problems with getting the scripts right on Windows. Binaries are universally executable by /bin/sh, cmd.exe and rawSystem, so this allows us to remove some platform-specific hacks.