diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-02 13:19:56 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-02 13:19:56 +0000 |
commit | 952cdacb25ac690a3206e48673168ed8de4a4056 (patch) | |
tree | 0e533deae0b8f8d51b8a487de5b4248e209752e5 /configure | |
parent | 2a3304cfb832d2f9548bb869f5a44a3412a1c3f9 (diff) |
Configure building on one thread for debugging
To help in debugging, we are only running the Makefiles within the
configure script on one thread.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -634,7 +634,7 @@ fi make -f reproduce/src/make/dependencies-basic.mk \ static_build=$static_build \ needs_ldl=$needs_ldl \ - -j$numthreads + #-j$numthreads @@ -651,7 +651,7 @@ numthreads=$($instdir/bin/nproc) ./.local/bin/make -f reproduce/src/make/dependencies.mk \ static_build=$static_build \ rpath_command=$rpath_command \ - -j$numthreads + #-j$numthreads |