osmith has uploaded this change for review.

View Change

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(-)

git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/87/29487/1

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
 

To view, visit change 29487. To unsubscribe, or for help writing mail filters, visit settings.