From f7295b7388ac366ba769fedfd310045ec76a51ed Mon Sep 17 00:00:00 2001 From: Stephen Gaito Date: Tue, 17 Dec 2019 16:44:24 +0000 Subject: [PATCH] put pdf2htmlex_prefix into reSourceVersionEnvs --- buildScripts/buildInstallLocallyApt | 2 ++ buildScripts/buildInstallLocallyBrew | 2 ++ buildScripts/reportEnvs | 2 +- 3 files changed, 5 insertions(+), 1 deletion(-) diff --git a/buildScripts/buildInstallLocallyApt b/buildScripts/buildInstallLocallyApt index 75b45bd..8e6537f 100755 --- a/buildScripts/buildInstallLocallyApt +++ b/buildScripts/buildInstallLocallyApt @@ -15,6 +15,8 @@ export PDF2HTMLEX_BRANCH=update-poppler export PDF2HTMLEX_PREFIX=/usr/local +echo "export PDF2HTMLEX_PREFIX=\"$PDF2HTMLEX_PREFIX\"" >> buildScripts/reSourceVersionEnvs + ################ # do the build diff --git a/buildScripts/buildInstallLocallyBrew b/buildScripts/buildInstallLocallyBrew index 1cb4849..3147fad 100755 --- a/buildScripts/buildInstallLocallyBrew +++ b/buildScripts/buildInstallLocallyBrew @@ -15,6 +15,8 @@ export PDF2HTMLEX_BRANCH=update-poppler export PDF2HTMLEX_PREFIX=toBeDetermined +echo "export PDF2HTMLEX_PREFIX=\"$PDF2HTMLEX_PREFIX\"" >> buildScripts/reSourceVersionEnvs + ################ # do the build diff --git a/buildScripts/reportEnvs b/buildScripts/reportEnvs index 941d538..d49fedf 100755 --- a/buildScripts/reportEnvs +++ b/buildScripts/reportEnvs @@ -10,9 +10,9 @@ echo " build dir: [$TRAVIS_BUILD_DIR]" echo " repo slug: [$TRAVIS_REPO_SLUG]" echo "Build env:" +echo " prefix: [$PDF2HTMLEX_PREFIX]" echo " unattended: [$UNATTENDED]" echo " make parallel: [$MAKE_PARALLEL]" - source ./buildScripts/reSourceVersionEnvs echo "pdf2htmlEX env:"