Revision 54a1589fe04ea7ceaf4bde88e2785c35b1acc2d5 authored by Pippijn van Steenhoven on 25 July 2013, 10:37:50 UTC, committed by Pippijn van Steenhoven on 25 July 2013, 11:25:48 UTC
fixes rdicosmo/parmap#17
1 parent f245a88
setcore.mli
(* uses the native affinity interface to
declare that the current process should be
attached to core number n *)
external setcore: int -> unit = "setcore"
Computing file changes ...