summaryrefslogtreecommitdiff
path: root/Build/source/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-07-06 17:52:36 +0000
committerKarl Berry <karl@freefriends.org>2021-07-06 17:52:36 +0000
commitb97f297879f8d65309e8fd032505a072bbb8e6d1 (patch)
treebdfaa916bed9e2f810d4e83d9f7111186c977352 /Build/source/Build
parent2fd6f2eb32e243989f3423333f9c9acef33ff6e8 (diff)
doc
git-svn-id: svn://tug.org/texlive/trunk@59855 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-xBuild/source/Build2
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/Build b/Build/source/Build
index a197e1f21f0..bb048421e1b 100755
--- a/Build/source/Build
+++ b/Build/source/Build
@@ -53,6 +53,8 @@ export MAKE; export TL_MAKE
if test "x$1" = x--no-clean; then
shift
+ echo "$0: --no-clean given, so keeping build and install dirs: " \
+ "$TL_WORKDIR $TL_INSTALL_DEST"
else
test -f Makefile && $MAKE clean
rm -rf $TL_WORKDIR $TL_INSTALL_DEST