Skip to main content

Browse the archive

Revision 2c9e18bdefb96b8d8ea591ac05cabd8e5a991d32 authored by Marco Danelutto on 28 October 2011, 20:34:56 UTC, committed by Roberto Di Cosmo on 07 November 2011, 20:51:23 UTC 
Added support for pinning worker processes to their CPUs on Linux.
 
Needs autoconf and support for different OSs.
1 parent cd664c1
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