diff options
Diffstat (limited to '.gitlab/ci.sh')
-rwxr-xr-x | .gitlab/ci.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 3599aabd82..6500c6923c 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -516,6 +516,13 @@ function build_hadrian() { check_release_build + # We can safely enable parallel compression for x64. By the time + # hadrian calls tar/xz to produce bindist, there's no other build + # work taking place. + if [[ "${CI_JOB_NAME:-}" != *"i386"* ]]; then + XZ_OPT="${XZ_OPT:-} -T$cores" + fi + if [[ -n "${REINSTALL_GHC:-}" ]]; then run_hadrian build-cabal -V else |