Change in osmo-ci[master]: coverity: add OsmocomBB (without firmware)

[Vadim Yanitskiy]

Vadim Yanitskiy has uploaded this change for review. ( https://gerrit.osmocom.org/13388


Change subject: coverity: add OsmocomBB (without firmware)
......................................................................

coverity: add OsmocomBB (without firmware)

Change-Id: I2a4bcca411361484e872361dfd16d46189f52f35
---
M coverity/build_Osmocom.sh
M coverity/prepare_source_Osmcocom.sh
2 files changed, 10 insertions(+), 0 deletions(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/88/13388/1

diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh
index 650fa0e..ef45b7a 100755
--- a/coverity/build_Osmocom.sh
+++ b/coverity/build_Osmocom.sh
@@ -61,6 +61,12 @@
 	popd
 }
 
+build_osmocombb() {
+	pushd osmocom-bb/src/
+	make nofirmware
+	popd
+}
+
 cd "$src_dir"
 
 rm -rf "$prefix"
@@ -92,3 +98,6 @@
 build_default osmo-sip-connector
 
 build_default osmo-trx
+
+# OsmocomBB (without firmware)
+build_osmocombb
diff --git a/coverity/prepare_source_Osmcocom.sh b/coverity/prepare_source_Osmcocom.sh
index 6f32474..065630f 100755
--- a/coverity/prepare_source_Osmcocom.sh
+++ b/coverity/prepare_source_Osmcocom.sh
@@ -26,6 +26,7 @@
   osmo-sip-connector \
   osmo-trx \
   osmo-hlr \
+  osmocom-bb \
   ; do
 
 	if [ -d $proj ]; then

-- 
To view, visit https://gerrit.osmocom.org/13388
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-MessageType: newchange
Gerrit-Change-Id: I2a4bcca411361484e872361dfd16d46189f52f35
Gerrit-Change-Number: 13388
Gerrit-PatchSet: 1
Gerrit-Owner: Vadim Yanitskiy <axilirator at gmail.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20190322/0e2699fb/attachment.htm>