readerProc: split up text output using host's line termination convention
authorsof@galois.com <unknown>
Tue, 13 Jun 2006 23:26:05 +0000 (23:26 +0000)
committersof@galois.com <unknown>
Tue, 13 Jun 2006 23:26:05 +0000 (23:26 +0000)
commit6ec1fb0666d5493c236f856e8512a78700dd2b07
tree00fb0b57d0b05dab01cbef932b180d5a9b32a1c6
parenta2a8d11f88eff2a4df4dbe7bc50fbba5111f5960
readerProc: split up text output using host's line termination convention
compiler/main/SysTools.lhs