diff options
| author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-10-01 15:12:36 +0700 |
|---|---|---|
| committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-10-01 17:42:55 +0700 |
| commit | 4bb6385a2231be6a9ea107cbde8df4d1af3ceee2 (patch) | |
| tree | 71a0ca210ea4ef3546cbad2f0a7118284ab74199 | |
| parent | 6b3b90d55d7730aa7924bc57663a11172d6dc372 (diff) | |
scripts: osmo_git_clone_url(): properly handle 'satellite/osmo-gmr'
Coverity job currently fails because it fails to fetch osmo-gmr.git.
Change-Id: I4d52dbf0f81332dc1856944a6a3c7376cb1e0638
Fixes: I17590d0b0b46274e2ceb007e20d7d1dc039f4e8d
| -rw-r--r-- | scripts/common.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/common.sh b/scripts/common.sh index 788fbff..23d58e7 100644 --- a/scripts/common.sh +++ b/scripts/common.sh @@ -123,6 +123,9 @@ osmo_git_clone_url() { rtl-sdr|osmo-fl2k|libosmo-dsp|libusrp) echo "$OSMO_GIT_URL_GITEA"/sdr/"$1" ;; + osmo-gmr) + echo "$OSMO_GIT_URL_GITEA"/satellite/"$1" + ;; *) echo "$OSMO_GIT_URL_GERRIT"/"$1" ;; |