diff options
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-x | contrib/jenkins.sh | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index e1564a7..96becc7 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -1,10 +1,22 @@ #!/bin/sh set -e -x +WORKSPACE_DIR="$(realpath "$(dirname "$0")/..")" # 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") + local project="$1" + local url="https://gerrit.osmocom.org/$project" + + if [ -d ~/"$project" ]; then + cd ~/"$project" + git remote set-url origin "$url" + else + cd ~ + git clone "$url" + cd "$project" + fi + git rev-parse HEAD git status @@ -12,12 +24,13 @@ clone_repo() { git rev-parse HEAD git status + + cd "$WORKSPACE_DIR" } clone_repo osmo-ci clone_repo osmo-gsm-manuals if [ `uname` = "Linux" ] && [ "x${OSMO_CI_NO_DOCKER}" != "x1" ]; then - cd ~/osmo-ci scripts/osmo-ci-docker-rebuild.sh fi |