diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2024-03-16 11:19:58 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2024-03-16 11:19:58 +0100 |
| commit | 983e7d9fe51bc4245b0775bb13857ac5a2c46dc2 (patch) | |
| tree | 2027882bfb02884550a673b2b22ecf4a075ae6fd /checkout-tl.sh | |
| parent | 390a17bf9139e6e44ba906e21b914e40c041f0d5 (diff) | |
| parent | 7a2c9988da2ca89b1c841bb8cee0085bc092a8f3 (diff) | |
| download | texlive-openbsd-983e7d9fe51bc4245b0775bb13857ac5a2c46dc2.tar.gz | |
Merge branch 'master' of git.robertalessi.net:texlive-openbsd
Diffstat (limited to 'checkout-tl.sh')
| -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 |