swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
Tip revision: 803edbb03aedda79b0c681b4f14ea9a2f10b1514 authored by Francois Berenger on 02 October 2019, 03:02:01 UTC
regenerated configure file
regenerated configure file
Tip revision: 803edbb
setcore.ml
(* 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"