diff options
Diffstat (limited to 'Build/source')
-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. |