diff options
author | Robert Alessi <alessi@robertalessi.net> | 2024-03-15 18:37:34 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2024-03-15 18:37:34 +0100 |
commit | 7a2c9988da2ca89b1c841bb8cee0085bc092a8f3 (patch) | |
tree | e2a66b4132d111472cba1c80f3df29b781e36845 | |
parent | c716a2e3c629af43e33750d996c4d344da094134 (diff) | |
download | texlive-openbsd-7a2c9988da2ca89b1c841bb8cee0085bc092a8f3.tar.gz |
checkout-tl.sh: call rsync before svn anyway
-rwxr-xr-x | checkout-tl.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/checkout-tl.sh b/checkout-tl.sh index ee3795c..711162b 100755 --- a/checkout-tl.sh +++ b/checkout-tl.sh | |||
@@ -10,6 +10,7 @@ function check_branch { | |||
10 | if [[ $1 == "dev" ]];then | 10 | if [[ $1 == "dev" ]];then |
11 | rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . | 11 | rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . |
12 | else | 12 | else |
13 | rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . | ||
13 | if [[ -d ${PWD}/source ]];then | 14 | if [[ -d ${PWD}/source ]];then |
14 | cd ${PWD}/source | 15 | cd ${PWD}/source |
15 | svn info 2>/dev/null | 16 | svn info 2>/dev/null |