diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-26 20:00:15 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-26 20:00:15 +0000 |
| commit | d4138e68e7160ec1242c08da83c58e2d9097f222 (patch) | |
| tree | 9251dcca4190bb4d13e24c60fa88b3b5c28b143d /configure | |
| parent | 5bb72e98b312d22191b13f3821f258449e548516 (diff) | |
Making lock file directory
We had forgot to add the rule to build the lock file directory for
downloading data. This has been corrected.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -564,7 +564,7 @@ fi # Build Basic dependencies # ------------------------ make -f reproduce/src/make/dependencies-basic.mk \ - static_build=$static_build -j8 + static_build=$static_build #-j8 @@ -579,7 +579,7 @@ make -f reproduce/src/make/dependencies-basic.mk \ # to build them in this script. But after this, we can rely on Makefiles. numthreads=$($instdir/bin/nproc) ./.local/bin/make -f reproduce/src/make/dependencies.mk \ - static_build=$static_build -j$numthreads + static_build=$static_build #-j$numthreads |