diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2021-01-12 13:35:27 +0100 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 11:33:16 +0100 |
| commit | d02c86663e71b724a04e6f3eae05888583bdd160 (patch) | |
| tree | b6876d9ae50cebefae6208515f4fad3e91c93b26 | |
| parent | 4c22d1ba369479bab502040ab31d4269eb302544 (diff) | |
contrib/jenkins.sh: clone osmo-gsm-manuals too
Make osmo-gsm-manuals.git available as ~/osmo-gsm-manuals, so it can be
used by osmo-trx and osmo-bts (the only two projects building manuals,
which are not running in docker as of writing) instead of cloning the
repository in their contrib/jenkins.sh.
A similar change to clone osmo-gsm-manuals in the debian-stretch-jenkins
image used by all other jobs that build manuals, is done in
docker-playground 7e4c8c6f1f798b9b8e57af97131ce3759528e0de.
osmo-ci's contrib/jenkins.sh is called by the update-osmo-ci-on-slaves
job.
Related: OS#4912
Change-Id: I742fd929e39ca32d6034a30af75b6c8e5b47b233
| -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 |