From 1c3e56731908dc196d72fe0af540014e93c7d763 Mon Sep 17 00:00:00 2001 From: Frank Dellaert Date: Mon, 20 Feb 2023 07:47:42 -0800 Subject: [PATCH] Try -j1 --- .github/scripts/unix.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/scripts/unix.sh b/.github/scripts/unix.sh index 1676ad537..880645e9c 100644 --- a/.github/scripts/unix.sh +++ b/.github/scripts/unix.sh @@ -99,7 +99,7 @@ function build () if (($(nproc) > 2)); then make -j$(nproc) else - make -j2 + make -j1 fi elif [ "$(uname)" == "Darwin" ]; then make -j$(sysctl -n hw.physicalcpu) @@ -121,7 +121,7 @@ function test () if (($(nproc) > 2)); then make -j$(nproc) check else - make -j2 check + make -j1 check fi elif [ "$(uname)" == "Darwin" ]; then make -j$(sysctl -n hw.physicalcpu) check