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

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

Harald Welte gerrit-no-reply at lists.osmocom.org
Fri May 10 10:43:24 UTC 2019


Harald Welte has submitted this change and it was merged. ( 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(-)

Approvals:
  Harald Welte: Looks good to me, approved; Verified
  Pau Espin Pedrol: Looks good to me, but someone else must approve



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: merged
Gerrit-Change-Id: I2a4bcca411361484e872361dfd16d46189f52f35
Gerrit-Change-Number: 13388
Gerrit-PatchSet: 2
Gerrit-Owner: Vadim Yanitskiy <axilirator at gmail.com>
Gerrit-Reviewer: Harald Welte <laforge at gnumonks.org>
Gerrit-Reviewer: Pau Espin Pedrol <pespin at sysmocom.de>
Gerrit-Reviewer: Vadim Yanitskiy <axilirator at gmail.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20190510/c95f70a3/attachment.htm>


More information about the gerrit-log mailing list