summaryrefslogtreecommitdiff
path: root/Build/source
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2013-03-25 23:46:26 +0000
committerKarl Berry <karl@freefriends.org>2013-03-25 23:46:26 +0000
commit947cc17c360f38eec970b6c07c4682702fca0db6 (patch)
tree9e46b7df565af16db93cd9f0e2e8f991ec01265f /Build/source
parent16dcab212dae285fbb30536b110fd2e4de5e471c (diff)
$MAKE rather than $TL_MAKE for unusual make clean
git-svn-id: svn://tug.org/texlive/trunk@29505 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
-rwxr-xr-xBuild/source/Build2
1 files changed, 1 insertions, 1 deletions
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