aboutsummaryrefslogtreecommitdiffstats
path: root/coverity
diff options
context:
space:
mode:
authorVadim Yanitskiy <vyanitskiy@sysmocom.de>2021-10-20 23:28:52 +0300
committerVadim Yanitskiy <vyanitskiy@sysmocom.de>2021-10-21 22:16:04 +0300
commitd304d6132743bc92dae0700eadfc2368287ee432 (patch)
tree035dbedffa0b0a37c5cf8a19a43b482ee5cc5abf /coverity
parent56489bc521e82fd0dd01f2a7b2f8b2926b478f74 (diff)
coverity: also build and check osmo-{cbc,gbproxy}
Diffstat (limited to 'coverity')
-rwxr-xr-xcoverity/build_Osmocom.sh2
-rwxr-xr-xcoverity/prepare_source_Osmcocom.sh2
2 files changed, 4 insertions, 0 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh
index 65277fd..5c2c71e 100755
--- a/coverity/build_Osmocom.sh
+++ b/coverity/build_Osmocom.sh
@@ -74,6 +74,7 @@ build_default libosmo-netif
build_default libosmo-sccp
build_default libsmpp34
build_default osmo-ggsn
+build_default osmo-gbproxy
build_default osmo-iuh
build_default osmo-pcu \
--with-sysmobts="$prefix/include/" \
@@ -92,6 +93,7 @@ build_default osmo-msc \
build_default osmo-sgsn \
--enable-iu
build_default osmo-smlc
+build_default osmo-cbc
# GMR
build_default libosmo-dsp
diff --git a/coverity/prepare_source_Osmcocom.sh b/coverity/prepare_source_Osmcocom.sh
index 8dbcbce..7a86b7d 100755
--- a/coverity/prepare_source_Osmcocom.sh
+++ b/coverity/prepare_source_Osmcocom.sh
@@ -18,6 +18,7 @@ for proj in \
osmo-msc \
osmo-mgw \
osmo-ggsn \
+ osmo-gbproxy \
osmo-sgsn \
osmo-bts \
osmo-gmr \
@@ -29,6 +30,7 @@ for proj in \
osmo-hlr \
osmocom-bb \
osmo-smlc \
+ osmo-cbc \
simtrace2 \
; do