aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcheckout-tl.sh19
1 files changed, 18 insertions, 1 deletions
diff --git a/checkout-tl.sh b/checkout-tl.sh
index 435e157..41caac4 100755
--- a/checkout-tl.sh
+++ b/checkout-tl.sh
@@ -1,2 +1,19 @@
1#!/bin/sh 1#!/bin/sh
2rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . 2#rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source .
3PWD=`pwd`
4REV=70573
5if [[ ! -d source ]];then
6 svn co svn://tug.org/texlive/trunk/Build/source@${REV}
7else
8 cd source
9 svn update -r ${REV}
10 if [[ $? -ne 0 ]];then
11 echo "Please remove or rename the source/ directory"
12 echo "and re-run this command."
13 exit 1
14 fi
15 svn revert --recursive .
16 svn status --no-ignore | grep '^[?I]' | sed "s/^[?I] //" \
17 | xargs -I{} rm -rf "{}"
18fi
19cd ${PWD}