aboutsummaryrefslogtreecommitdiffstats
path: root/coverity
diff options
context:
space:
mode:
authorVadim Yanitskiy <axilirator@gmail.com>2019-03-23 03:54:37 +0700
committerHarald Welte <laforge@gnumonks.org>2019-05-10 10:42:59 +0000
commitf137b5b1a432b15897a4557021f70d34933a3f29 (patch)
tree13a0bad1089b4771c23e17bc93b53320cee545e6 /coverity
parent72a84b551e87bcf9005d08b07ce2b55b42e8479a (diff)
coverity: add OsmocomBB (without firmware)
Diffstat (limited to 'coverity')
-rwxr-xr-xcoverity/build_Osmocom.sh9
-rwxr-xr-xcoverity/prepare_source_Osmcocom.sh1
2 files changed, 10 insertions, 0 deletions
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 @@ 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
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 @@ for proj in \
osmo-sip-connector \
osmo-trx \
osmo-hlr \
+ osmocom-bb \
; do
if [ -d $proj ]; then