Not including system's libraries in high-level dependencies

The system's libraries are no longer used in building the higher-level
dependencies. Also, thanks to Raul Infante Sainz, we found out that Bash's
build script was still removing the extra directory information (not
good!).

1 files changed, 2 insertions, 1 deletions

diff --git a/configure b/configure
index 34323a5..908affc 100755
--- a/configure
+++ b/configure
@@ -495,8 +495,9 @@ make -f reproduce/src/make/dependencies-basic.mk \
 # Makefile. To make the job easier, we'll do it in a Makefile, not a
 # 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.
+numthreads=$(./$instdir/bin/nproc)
 ./.local/bin/make -f reproduce/src/make/dependencies.mk \
-                static_build=$static_build #-j8
+                  static_build=$static_build #-j$numthreads