diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-18 23:25:08 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-18 23:25:08 +0000 |
| commit | fc7fd31a178a6094a3289c1e49ea7e7ac409e452 (patch) | |
| tree | 663e9bab234e1fd08dda09b81f0ca223cad16a82 /configure | |
| parent | 9f17ada30e13ffb0670c3ab3244298e79af74ab6 (diff) | |
Building dependencies on single thread for debugging
To help in debugging on other systems, the building of dependencies is only
done on a single thread.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |