diff options
| author | Karl Berry <karl@freefriends.org> | 2013-03-25 23:46:26 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2013-03-25 23:46:26 +0000 |
| commit | 947cc17c360f38eec970b6c07c4682702fca0db6 (patch) | |
| tree | 9e46b7df565af16db93cd9f0e2e8f991ec01265f /Build/source | |
| parent | 16dcab212dae285fbb30536b110fd2e4de5e471c (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-x | Build/source/Build | 2 |
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 |