summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorJonathan Kew <jfkthame@googlemail.com>2008-05-14 12:16:14 +0000
committerJonathan Kew <jfkthame@googlemail.com>2008-05-14 12:16:14 +0000
commitd3f4f2dd14b078106d77ec912812fcfbcd8964eb (patch)
treeea40b9482e674b601badac14954ce8fa4ee9ae5a /Build
parent44bdaf7b5ae352c50318abc18720e52aabdbe9ea (diff)
always use TL_MAKE rather than default make
git-svn-id: svn://tug.org/texlive/trunk@8133 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/source/Build8
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/Build b/Build/source/Build
index c9c42ac71ab..606ddfbcaa8 100755
--- a/Build/source/Build
+++ b/Build/source/Build
@@ -25,10 +25,13 @@ if test -z "$TL_INSTALL_DEST"; then
TL_INSTALL_DEST=$H/inst
fi
+# allow override of make program.
+: ${TL_MAKE=make}
+
if test "x$1" = x--no-clean; then
shift
else
- test -f Makefile && make clean
+ test -f Makefile && $TL_MAKE clean
rm -rf $TL_WORKDIR $TL_INSTALL_DEST
fi
@@ -57,9 +60,6 @@ cd $TL_WORKDIR || exit 1
# allow override of make target.
: ${TL_TARGET=world}
-# allow override of make program.
-: ${TL_MAKE=make}
-
# and then also set GNUMAKE to that, for the sake of freetype2/configure.
: ${GNUMAKE=${TL_MAKE}}
export GNUMAKE