diff options
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 |