summaryrefslogtreecommitdiff
path: root/Build/source/Build
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2009-05-07 19:44:27 +0000
committerNorbert Preining <preining@logic.at>2009-05-07 19:44:27 +0000
commit54b2222378c0192c9017fdda6e966a8177afee19 (patch)
tree0a7b85a0834c3f2eea09cdc5de02dbb75d4f9fa3 /Build/source/Build
parent8243edfca0be6770fa56b9bc220b05ae505d1082 (diff)
support TL_MAKE_FLAGS in Build script
git-svn-id: svn://tug.org/texlive/trunk@12995 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-xBuild/source/Build5
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/Build b/Build/source/Build
index 4cf529b41f8..aac4360585e 100755
--- a/Build/source/Build
+++ b/Build/source/Build
@@ -27,6 +27,9 @@ fi
# allow override of make program.
: ${TL_MAKE=make}
+# make flags
+: ${TL_MAKE_FLAGS=}
+
# and then also set GNUMAKE to that, for the sake of freetype2/configure.
: ${GNUMAKE=${TL_MAKE}}
export GNUMAKE
@@ -104,7 +107,7 @@ cd $TL_WORKDIR || exit 1
$TL_CONF_XINDY \
$TL_CONFIGURE_ARGS \
"$@" \
- && eval $TL_BUILD_ENV time $TL_MAKE $TL_TARGET
+ && eval $TL_BUILD_ENV time $TL_MAKE $TL_MAKE_FLAGS $TL_TARGET
# Too arcane to try to propagate the exit status through a pipeline.
# Just use a temp file.