utils: Implement -j properly.

[goals.git] / src / utils.ml

diff --git a/src/utils.ml b/src/utils.ml
index 3d1b0c5..c4722a8 100644 (file)
--- a/src/utils.ml
+++ b/src/utils.ml
@@ -19,6 +19,8 @@
 
 open Printf
 
+external nprocs : unit -> int = "nprocs"
+
 let failwithf fs = ksprintf failwith fs
 
 let (//) = Filename.concat