diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/ci/steps/00-config.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/ci/steps/00-config.sh b/scripts/ci/steps/00-config.sh index b6c3140..eb8280a 100644 --- a/scripts/ci/steps/00-config.sh +++ b/scripts/ci/steps/00-config.sh @@ -8,3 +8,5 @@ fi source_dir="$(mktemp --tmpdir -d "cabal-helper.sdistXXXXXXXXX")" build_dir="$(mktemp --tmpdir -d "cabal-helper.distXXXXXXXXX")" + +NPROC=${NPROC:-1} |