From 947cc17c360f38eec970b6c07c4682702fca0db6 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 25 Mar 2013 23:46:26 +0000 Subject: $MAKE rather than $TL_MAKE for unusual make clean git-svn-id: svn://tug.org/texlive/trunk@29505 c570f23f-e606-0410-a88d-b1316a301751 --- Build/source/Build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Build/source/Build b/Build/source/Build index 596b1c3043d..dff4f2eed18 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -37,7 +37,7 @@ export MAKE if test "x$1" = x--no-clean; then shift else - test -f Makefile && $TL_MAKE clean + test -f Makefile && $MAKE clean rm -rf $TL_WORKDIR $TL_INSTALL_DEST fi -- cgit v1.2.3