Skip to main content

Browse the archive

Revision ca9f0de7353f1e666d247691e872c2f46273a7ed authored by Roberto Di Cosmo on 10 November 2011, 10:20:00 UTC, committed by Roberto Di Cosmo on 10 November 2011, 10:20:00 UTC 
Use pipes instead of sockets for communications with the workers.
1 parent d1f007e
Raw File
.depend 
bytearray.cmo: bytearray.cmi
bytearray.cmx: bytearray.cmi
parmap.cmo: bytearray.cmi parmap.cmi
parmap.cmx: bytearray.cmx parmap.cmi
bytearray.cmi:
parmap.cmi:
back to top