-
Simon Marlow authored
DriverPipeline.compile: we should be grabbing the OPTIONS from the StringBuffer, not reading the file again (duh!) SysTools: some message cleanups
426e0396
DriverPipeline.compile: we should be grabbing the OPTIONS from the StringBuffer, not reading the file again (duh!) SysTools: some message cleanups