[MERGED] osmo-ci[master]: coverity: clone + build osmo-{mgw, bsc, msc, hlr}

[Harald Welte]

Harald Welte has submitted this change and it was merged.

Change subject: coverity: clone + build osmo-{mgw,bsc,msc,hlr}
......................................................................


coverity: clone + build osmo-{mgw,bsc,msc,hlr}

Related: OS#2564
Change-Id: I6f046943f045a97c2bae4e99485a474c11d90a90
---
M coverity/build_Osmocom.sh
M coverity/prepare_source_Osmcocom.sh
2 files changed, 9 insertions(+), 0 deletions(-)

Approvals:
  Harald Welte: Looks good to me, approved; Verified



diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh
index 9e5607d..3cb0c84 100755
--- a/coverity/build_Osmocom.sh
+++ b/coverity/build_Osmocom.sh
@@ -81,6 +81,11 @@
 build_osmopcu
 build_osmobts
 build_openbsc
+build_default osmo-mgw
+build_default osmo-bsc
+build_default osmo-msc
+build_default osmo-hlr
+build_default osmo-sgsn
 
 # GMR
 build_default libosmo-dsp
diff --git a/coverity/prepare_source_Osmcocom.sh b/coverity/prepare_source_Osmcocom.sh
index 527bbc9..05e50e4 100755
--- a/coverity/prepare_source_Osmcocom.sh
+++ b/coverity/prepare_source_Osmcocom.sh
@@ -14,7 +14,11 @@
   libosmo-sccp \
   libsmpp34 \
   openbsc \
+  osmo-bsc \
+  osmo-msc \
+  osmo-mgw \
   osmo-ggsn \
+  osmo-sgsn \
   osmo-bts \
   osmo-gmr \
   osmo-iuh \

-- 
To view, visit https://gerrit.osmocom.org/4210
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I6f046943f045a97c2bae4e99485a474c11d90a90
Gerrit-PatchSet: 1
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Owner: Harald Welte <laforge at gnumonks.org>
Gerrit-Reviewer: Harald Welte <laforge at gnumonks.org>