osmith has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ci/+/29487 )
Change subject: coverity: use osmo_git_clone_url ......................................................................
coverity: use osmo_git_clone_url
Stop cloning from git.osmocom.org by using the shared function.
Change-Id: I17590d0b0b46274e2ceb007e20d7d1dc039f4e8d --- A coverity/common.sh M coverity/local_test.sh M coverity/prepare_source_Osmocom.sh 3 files changed, 4 insertions(+), 1 deletion(-)
Approvals: Jenkins Builder: Verified fixeria: Looks good to me, but someone else must approve pespin: Looks good to me, but someone else must approve osmith: Looks good to me, approved
diff --git a/coverity/common.sh b/coverity/common.sh new file mode 120000 index 0000000..8f435c6 --- /dev/null +++ b/coverity/common.sh @@ -0,0 +1 @@ +../scripts/common.sh \ No newline at end of file diff --git a/coverity/local_test.sh b/coverity/local_test.sh index 4ac1307..dffb101 100755 --- a/coverity/local_test.sh +++ b/coverity/local_test.sh @@ -7,6 +7,7 @@
mkdir -p /tmp/coverity cp "$SCRIPT_DIR"/* /tmp/coverity +ln -sf "$SCRIPT_DIR/../scripts/common.sh" /tmp/coverity/common.sh
cd /tmp/coverity
diff --git a/coverity/prepare_source_Osmocom.sh b/coverity/prepare_source_Osmocom.sh index 258dbb0..ad03835 100755 --- a/coverity/prepare_source_Osmocom.sh +++ b/coverity/prepare_source_Osmocom.sh @@ -1,4 +1,5 @@ #!/bin/sh +. $(realpath common.sh) BASEDIR=source-Osmocom
# How to add a new project: @@ -57,7 +58,7 @@ git -C "$proj" clean -ffxd fi else - git clone https://git.osmocom.org/$proj + git clone "$(osmo_git_clone_url "$proj")" fi done