From c2d4bd4226770da03c4796c7de77bee28ec79319 Mon Sep 17 00:00:00 2001
From: Mohammad Akhlaghi <mohammad@akhlaghi.org>
Date: Thu, 29 Nov 2018 02:38:40 +0000
Subject: GCC is now installed by the pipeline

The pipeline now installs GCC and all its necessary prerequisites.
---
 configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index d4abda9..4753320 100755
--- a/configure
+++ b/configure
@@ -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
 
 
 
-- 
cgit v1.2.1