aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index b10f536..840a350 100755
--- a/configure
+++ b/configure
@@ -591,8 +591,8 @@ fi
# some versions of Make complain about not having enough 'pipe' (memory) on
# some systems. After some searching, I found out its because of too many
# threads.
-if which nproc 2> /dev/null; then numthreads=$(nproc --all);
-else numthreads=4;
+if which nproc &> /dev/null; then numthreads=$(nproc --all);
+else numthreads=2;
fi
make -f reproduce/src/make/dependencies-basic.mk \
static_build=$static_build -j$numthreads