diff options
| author | Harald Welte <laforge@osmocom.org> | 2023-01-31 13:29:48 +0100 |
|---|---|---|
| committer | Harald Welte <laforge@osmocom.org> | 2023-01-31 13:29:48 +0100 |
| commit | 8abf46760a2192451e6eb3035fd350b821e2fba1 (patch) | |
| tree | 063597220400e6ba45b776295bf04a73cd6023b4 /scripts/common.sh | |
| parent | 4773f26d2d2a256ff5f3d27c7c369695c3a8f831 (diff) | |
coverity: Add many missing projects
Add the following projects to our coverity test job:
osmo-pcap
osmo-e1d
osmo-e1-recorder
osmo-upf
osmo-isdntap
osmo-uecups
osmo-remsim
Change-Id: Idee49aa4c15fcfb1a469db9e4978523af5608d70
Diffstat (limited to 'scripts/common.sh')
| -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 23d58e7..72be4fc 100644 --- a/scripts/common.sh +++ b/scripts/common.sh @@ -126,6 +126,9 @@ osmo_git_clone_url() { osmo-gmr) echo "$OSMO_GIT_URL_GITEA"/satellite/"$1" ;; + osmo-isdntap) + echo "$OSMO_GIT_URL_GITEA"/retronetworking/"$1" + ;; *) echo "$OSMO_GIT_URL_GERRIT"/"$1" ;; |