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/prepare_source_Osmocom.sh | |
| 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/prepare_source_Osmocom.sh')
| -rwxr-xr-x | coverity/prepare_source_Osmocom.sh | 3 |
1 files changed, 2 insertions, 1 deletions
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 |