summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2007-10-06 18:35:56 +0000
committerKarl Berry <karl@freefriends.org>2007-10-06 18:35:56 +0000
commitf4d85d9971e3c6438ee9ace6699901f2edc31661 (patch)
tree35bb8f7ff64266a11f4f220f4e53e42d8fe475de
parentb67d247d0af42dd0f497bb1a218bb1fd24dd77b9 (diff)
(TL_WORKDIR): allow override of "Work".
git-svn-id: svn://tug.org/texlive/trunk@5123 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xBuild/source/Build8
1 files changed, 5 insertions, 3 deletions
diff --git a/Build/source/Build b/Build/source/Build
index f16e5923068..530f2edccef 100755
--- a/Build/source/Build
+++ b/Build/source/Build
@@ -8,9 +8,11 @@
mydir=`dirname $0`
cd $mydir || exit 1
+: ${TL_WORKDIR=Work}
+
if test "x$1" != "x--no-clean"; then
test -f Makefile && make clean
- rm -rf Work inst
+ rm -rf $TL_WORKDIR inst
else
shift
fi
@@ -23,8 +25,8 @@ if test -z "$TL_INSTALL_DEST"; then
fi
unset CDPATH
-test -d Work || mkdir Work
-cd Work || exit 1
+test -d $TL_WORKDIR || mkdir $TL_WORKDIR
+cd $TL_WORKDIR || exit 1
# allow override of configure location, just in case.
: ${TL_CONFIGURE=../configure}