diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2022-09-26 14:48:13 +0200 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2022-09-26 14:50:47 +0200 |
| commit | 6c7a2076cf478e8ef9d23914580b21e0b043b699 (patch) | |
| tree | a76e95c6446c1754f234501a64504346eb83683c /coverity | |
| parent | 204ad54e93f5524332e661021151e656c661420f (diff) | |
coverity: use osmo_git_clone_url
Stop cloning from git.osmocom.org by using the shared function.
Change-Id: I17590d0b0b46274e2ceb007e20d7d1dc039f4e8d
Diffstat (limited to 'coverity')
| l--------- | coverity/common.sh | 1 | ||||
| -rwxr-xr-x | coverity/local_test.sh | 1 | ||||
| -rwxr-xr-x | coverity/prepare_source_Osmocom.sh | 3 |
3 files changed, 4 insertions, 1 deletions
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 @@ export SRC_CLEAN=1 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 @@ for proj in $PROJECTS $PROJECTS_DONT_BUILD_TEST; do git -C "$proj" clean -ffxd fi else - git clone https://git.osmocom.org/$proj + git clone "$(osmo_git_clone_url "$proj")" fi done |