[ new ] Respect NUM_THREADS environment variable

buzden · Feb 22, 2023 · e1c056e · e1c056e
1 parent d007c28
commit e1c056e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Test/Golden/RunnerHelper.idr b/src/Test/Golden/RunnerHelper.idr
@@ -31,6 +31,9 @@ DefaultRunScriptArg = MkRunScriptArg "idris2"
 
 nproc : IO $ Maybe Nat
 nproc = do
+  rawThreads <- getEnv "NUM_THREADS"
+  let Nothing = rawThreads >>= parsePositive
+    | Just n => pure $ Just n
   (str, 0) <- run "nproc"
     | _ => pure Nothing
   pure $ parsePositive str