summaryrefslogtreecommitdiffstats
path: root/coverity/build_Osmocom.sh
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/build_Osmocom.sh
parent72a84b551e87bcf9005d08b07ce2b55b42e8479a (diff)
coverity: add OsmocomBB (without firmware)
Diffstat (limited to 'coverity/build_Osmocom.sh')
-rwxr-xr-xcoverity/build_Osmocom.sh9
1 files changed, 9 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