summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-11-26 01:41:02 +0000
committerKarl Berry <karl@freefriends.org>2006-11-26 01:41:02 +0000
commit27c2801ebab9370fecd784cd46bd35ac3df1fdab (patch)
tree92b85b00712ca6ef5095cb752cffd0ee6d28d35a /Build
parent70c0bd8a71a3869732a17a255e3ea2d3c6f264f0 (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-xBuild/source/Build10
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