From 4bb6385a2231be6a9ea107cbde8df4d1af3ceee2 Mon Sep 17 00:00:00 2001 From: Vadim Yanitskiy Date: Sat, 1 Oct 2022 15:12:36 +0700 Subject: [PATCH] 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 --- scripts/common.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/common.sh b/scripts/common.sh index 788fbff8..23d58e7a 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" ;;