diff options
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 34df8e23bb..8f6c4e6f98 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -260,7 +260,7 @@ hadrian-ghc-in-ghci: script: - .gitlab/ci.sh setup - cabal update - - cd hadrian; cabal new-build --with-compiler=$GHC --project-file=ci.project; cd .. + - cd hadrian; cabal new-build -j`../mk/detect-cpu-count.sh` --with-compiler=$GHC --project-file=ci.project; cd .. - git clean -xdf && git submodule foreach git clean -xdf - ./boot - ./configure $CONFIGURE_ARGS |