aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcheckout-tl.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/checkout-tl.sh b/checkout-tl.sh
index 711162b..48dd8d6 100755
--- a/checkout-tl.sh
+++ b/checkout-tl.sh
@@ -1,5 +1,6 @@
1#!/bin/sh 1#!/bin/sh
2PWD=$(pwd) 2PWD=$(dirname $0)
3cd ${PWD}
3 4
4. ${PWD}/variables.conf 5. ${PWD}/variables.conf
5 6
@@ -15,7 +16,7 @@ else
15 cd ${PWD}/source 16 cd ${PWD}/source
16 svn info 2>/dev/null 17 svn info 2>/dev/null
17 if [[ $? -ne 0 ]];then 18 if [[ $? -ne 0 ]];then
18 cd ${PWD} 19 cd ..
19 rm -rf ${PWD}/source 20 rm -rf ${PWD}/source
20 svn co --config-option config:miscellany:use-commit-times=yes \ 21 svn co --config-option config:miscellany:use-commit-times=yes \
21 svn://tug.org/texlive/branches/branch${TL_BRANCH}/Build/source 22 svn://tug.org/texlive/branches/branch${TL_BRANCH}/Build/source