From d3f4f2dd14b078106d77ec912812fcfbcd8964eb Mon Sep 17 00:00:00 2001 From: Jonathan Kew Date: Wed, 14 May 2008 12:16:14 +0000 Subject: always use TL_MAKE rather than default make git-svn-id: svn://tug.org/texlive/trunk@8133 c570f23f-e606-0410-a88d-b1316a301751 --- Build/source/Build | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Build/source') 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 -- cgit v1.2.3