diff options
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-x | contrib/jenkins.sh | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 3ab942a..e93e802 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -1,14 +1,21 @@ #!/bin/sh set -e -x -cd ~/osmo-ci || (cd ~/ && git clone git://git.osmocom.org/osmo-ci && cd ~/osmo-ci) -git rev-parse HEAD -git status +# Clone repository to ~/, or update existing +# $1: name of osmocom project +clone_repo() { + cd ~/"$1" || (cd ~/ && git clone git://git.osmocom.org/"$1" && cd ~/"$1") + git rev-parse HEAD + git status -git fetch && git checkout -f -B master origin/master + git fetch && git checkout -f -B master origin/master -git rev-parse HEAD -git status + git rev-parse HEAD + git status +} + +clone_repo osmo-ci +clone_repo osmo-gsm-manuals if [ `uname` = "Linux" ] && [ "x${OSMO_CI_NO_DOCKER}" != "x1" ]; then scripts/osmo-ci-docker-rebuild.sh |