diff options
Diffstat (limited to 'gnu/packages/check.scm')
| -rw-r--r-- | gnu/packages/check.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 6593eadf6a..ef1c08f8f3 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -2744,7 +2744,7 @@ instantly.") (arguments (list #:test-flags - #~(list "--numprocesses" "auto" + #~(list "--numprocesses" (number->string (parallel-job-count)) ;; check_examples_test.py contains failing tests that ;; show what happens if a counterexample is found. "--ignore=crosshair/examples/check_examples_test.py" |