From bcf45125dfb8c7940bfff9a95ca7ba87bb961b7b Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Tue, 20 Nov 2018 12:10:33 +0000 Subject: 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!). --- configure | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'configure') 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 -- cgit v1.2.1