diff options
author | Karl Berry <karl@freefriends.org> | 2021-07-06 17:52:36 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-07-06 17:52:36 +0000 |
commit | b97f297879f8d65309e8fd032505a072bbb8e6d1 (patch) | |
tree | bdfaa916bed9e2f810d4e83d9f7111186c977352 /Build/source/Build | |
parent | 2fd6f2eb32e243989f3423333f9c9acef33ff6e8 (diff) |
doc
git-svn-id: svn://tug.org/texlive/trunk@59855 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-x | Build/source/Build | 2 |
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 |