diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -452,7 +452,7 @@ fi # Inform the user that the build process is starting # ------------------------------------------------- -tsec=10 +tsec=0 cat <<EOF ------------------------- @@ -477,7 +477,7 @@ sleep $tsec # Build Basic dependencies # ------------------------ make -f reproduce/src/make/dependencies-basic.mk \ - static_build=$static_build #-j2 + static_build=$static_build -j2 @@ -491,7 +491,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 |