Revision 1d1dbedb5f314754e94ae5fa18a64e5e8b206c8c authored by Roberto Di Cosmo on 10 May 2014, 08:44:26 UTC, committed by Roberto Di Cosmo on 10 May 2014, 08:44:26 UTC
1 parent c5ae723
setcore.mli
(* uses the native affinity interface to
declare that the current process should be
attached to core number n *)
external numcores: unit -> int = "numcores"
external setcore: int -> unit = "setcore"
Computing file changes ...