diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-17 04:43:08 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-17 04:43:08 +0000 |
| commit | b15818ddc06d499bac1bac5640682d40901e9588 (patch) | |
| tree | a9b9831f6654551defb76c730806972ebbee0b92 /configure | |
| parent | d0d7eed20b43fd13a4fcb1e37eb4cabcd7a47a91 (diff) | |
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.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 |