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 /coverity/prepare_source_Osmocom.sh | |
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
Diffstat (limited to 'coverity/prepare_source_Osmocom.sh')
0 files changed, 0 insertions, 0 deletions