diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2018-06-17 16:05:35 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2018-06-17 16:05:35 +0200 |
commit | 5e2eb803e82e663caa6cd1252a790ba4a1c43adb (patch) | |
tree | c666c758bbe454daf898cffcbc46ab8a733901b6 /scripts | |
parent | 95b76d1a98f8225216a338979503fe2d991149c3 (diff) |
ci: Limit compile-test build concurrency
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} |