coverity: add OsmocomBB (without firmware)

Change-Id: I2a4bcca411361484e872361dfd16d46189f52f35
2019-03-23 03:54:37 +07:00 · 2019-03-23 03:54:37 +07:00 · f137b5b1a4
parent 72a84b551e
commit f137b5b1a4
2 changed files with 10 additions and 0 deletions
--- a/coverity/build_Osmocom.sh
+++ b/coverity/build_Osmocom.sh
@ -61,6 +61,12 @@ build_libsmpp34() {
 	popd
 }

+build_osmocombb() {
+	pushd osmocom-bb/src/
+	make nofirmware
+	popd
+}
+
 cd "$src_dir"

 rm -rf "$prefix"
@ -92,3 +98,6 @@ build_default osmo-gmr
 build_default osmo-sip-connector

 build_default osmo-trx
+
+# OsmocomBB (without firmware)
+build_osmocombb
--- a/coverity/prepare_source_Osmcocom.sh
+++ b/coverity/prepare_source_Osmcocom.sh
@ -26,6 +26,7 @@ for proj in \
  osmo-sip-connector \
  osmo-trx \
  osmo-hlr \
+  osmocom-bb \
  ; do

 	if [ -d $proj ]; then