diff options
-rwxr-xr-x | checkout-tl.sh | 19 |
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 |
2 | rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . | 2 | #rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . |
3 | PWD=`pwd` | ||
4 | REV=70573 | ||
5 | if [[ ! -d source ]];then | ||
6 | svn co svn://tug.org/texlive/trunk/Build/source@${REV} | ||
7 | else | ||
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 "{}" | ||
18 | fi | ||
19 | cd ${PWD} | ||