mirror of https://gerrit.osmocom.org/osmo-ci
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
This commit is contained in:
parent
6b3b90d55d
commit
4bb6385a22
|
@ -123,6 +123,9 @@ osmo_git_clone_url() {
|
||||||
rtl-sdr|osmo-fl2k|libosmo-dsp|libusrp)
|
rtl-sdr|osmo-fl2k|libosmo-dsp|libusrp)
|
||||||
echo "$OSMO_GIT_URL_GITEA"/sdr/"$1"
|
echo "$OSMO_GIT_URL_GITEA"/sdr/"$1"
|
||||||
;;
|
;;
|
||||||
|
osmo-gmr)
|
||||||
|
echo "$OSMO_GIT_URL_GITEA"/satellite/"$1"
|
||||||
|
;;
|
||||||
*)
|
*)
|
||||||
echo "$OSMO_GIT_URL_GERRIT"/"$1"
|
echo "$OSMO_GIT_URL_GERRIT"/"$1"
|
||||||
;;
|
;;
|
||||||
|
|
Loading…
Reference in New Issue