From b15818ddc06d499bac1bac5640682d40901e9588 Mon Sep 17 00:00:00 2001
From: Mohammad Akhlaghi <mohammad@akhlaghi.org>
Date: Sat, 17 Nov 2018 04:43:08 +0000
Subject: TeX Live also built within the pipeline (no extra packages yet)

TeX Live is now also downloaded and built by the reproduction
pipeline. Currently on the basic (TeX and LaTeX) source is built but no
extra packages, so the PDF building will fail. We'll add them in the next
commit.
---
 configure | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 76b6879..5f21e04 100755
--- a/configure
+++ b/configure
@@ -452,7 +452,7 @@ fi
 
 # Inform the user that the build process is starting
 # -------------------------------------------------
-tsec=10
+tsec=0
 cat <<EOF
 
 -------------------------
@@ -477,7 +477,7 @@ sleep $tsec
 # Build Basic dependencies
 # ------------------------
 make -f reproduce/src/make/dependencies-basic.mk \
-     static_build=$static_build #-j2
+     static_build=$static_build -j2
 
 
 
@@ -491,7 +491,7 @@ make -f reproduce/src/make/dependencies-basic.mk \
 # 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.
 ./.local/bin/make -f reproduce/src/make/dependencies.mk \
-                static_build=$static_build  #-j8
+                static_build=$static_build -j8
 
 
 
-- 
cgit v1.2.1