swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
Raw File
Tip revision: f895e8f8809ea0644b075b932980a646bc65dfac authored by Roberto Di Cosmo on 11 November 2011, 12:49:50 UTC
Experimenting with adding git version to the executable
Tip revision: f895e8f
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"
back to top