build.sh: bump jobs to 16 for the new build server

This commit is contained in:
Jens Petersen 2023-11-21 13:12:30 +08:00
parent 0f7996a8e0
commit 0ae350f8b4

View File

@ -128,8 +128,8 @@ fi
docker run $ARGS_PREBUILD $IMAGE /bin/bash -c 'GHCVER=$(sed -n "s/^ghc-version: \(.*\)/\1/p" constraints.yaml) && stack setup ghc-$GHCVER --verbosity=error && stack exec --resolver=ghc-$GHCVER curator check-snapshot && curator unpack'
case $SHORTNAME in
lts) JOBS=3 ;;
nightly) JOBS=3 ;;
lts) JOBS=16 ;;
nightly) JOBS=16 ;;
esac
if [ -e "$SHORTNAME-build.log" ]