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 0663e15..5403a77 100755
--- a/configure
+++ b/configure
@@ -478,7 +478,7 @@ sleep $tsec
# Build Basic dependencies
# ------------------------
make -f reproduce/src/make/dependencies-basic.mk \
- static_build=$static_build -j2
+ static_build=$static_build #-j2
@@ -492,7 +492,7 @@ make -f reproduce/src/make/dependencies-basic.mk \
# script. Bash and Make were the tools we need to run Makefiles, so we had
# to build them in this script. But after this, we can rely on Makefiles.
./.local/bin/make -f reproduce/src/make/dependencies.mk \
- static_build=$static_build -j8
+ static_build=$static_build #-j8