From fb338c496eb62339a63d80457e9d8c4fd28fc335 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Tue, 30 Aug 2022 11:27:04 +0800
Subject: [PATCH] build.sh: formally change to JOBS=3

This change was originally done locally in the build-server by Adam Bergmark
and seems to be work okay for some time now
---
 automated/build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/automated/build.sh b/automated/build.sh
index 9c2d0545..08258a78 100755
--- a/automated/build.sh
+++ b/automated/build.sh
@@ -120,8 +120,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=1 ;;
-    nightly) JOBS=1 ;;
+    lts) JOBS=3 ;;
+    nightly) JOBS=3 ;;
 esac
 
 if [ -e "$SHORTNAME-build.log" ]