diff options
author | Norbert Preining <preining@logic.at> | 2009-05-07 19:44:27 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2009-05-07 19:44:27 +0000 |
commit | 54b2222378c0192c9017fdda6e966a8177afee19 (patch) | |
tree | 0a7b85a0834c3f2eea09cdc5de02dbb75d4f9fa3 /Build | |
parent | 8243edfca0be6770fa56b9bc220b05ae505d1082 (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')
-rwxr-xr-x | Build/source/Build | 5 |
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. |