Skip to main content

Browse the archive

Revision 738eb7c16dbfe41dc0e4b4712dc1aae3dce298d7 authored by Roberto Di Cosmo on 23 April 2015, 18:22:00 UTC, committed by Roberto Di Cosmo on 23 April 2015, 18:22:00 UTC 
Improved mkdwn
1 parent 0da42ca
Raw File
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"
back to top