diff options
| author | Karl Berry <karl@freefriends.org> | 2006-11-26 01:41:02 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2006-11-26 01:41:02 +0000 |
| commit | 27c2801ebab9370fecd784cd46bd35ac3df1fdab (patch) | |
| tree | 92b85b00712ca6ef5095cb752cffd0ee6d28d35a /Build | |
| parent | 70c0bd8a71a3869732a17a255e3ea2d3c6f264f0 (diff) | |
allow override of build commands and args
git-svn-id: svn://tug.org/texlive/trunk@2533 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/source/Build | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Build/source/Build b/Build/source/Build index d6ffa1abd74..7e29a7f38d6 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -27,12 +27,18 @@ rm -f tlbuild.log # allow override of configure location, just in case. : ${TL_CONFIGURE=../configure} +# allow override of xdvi toolkit. +: ${TL_XDVI_TOOLKIT=--with-xdvi-x-toolkit=xaw} + +# allow override of make program. +: ${TL_MAKE=make} + # Force building xdvi-xaw; motif is not always free and/or available. # --enable-gif is for sam2p; the gif patent has expired worldwide. (set -x; \ time $TL_CONFIGURE \ --prefix=$TL_INSTALL_DEST \ --datadir=$TL_INSTALL_DEST \ - --with-xdvi-x-toolkit=xaw --enable-gif \ + $TL_XDVI_TOOLKIT \ "$@" \ - && time make world) 2>&1 | tee tlbuild.log + && time $TL_MAKE world) 2>&1 | tee tlbuild.log |