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 <[email protected]>
Gerrit-Reviewer: Harald Welte <[email protected]>
Gerrit-Reviewer: Pau Espin Pedrol <[email protected]>
Gerrit-Reviewer: Vadim Yanitskiy <[email protected]>
