aboutsummaryrefslogtreecommitdiffstats
path: root/coverity
diff options
context:
space:
mode:
authorMax <msuraev@sysmocom.de>2018-11-22 14:20:18 +0100
committerMax <msuraev@sysmocom.de>2018-11-22 14:21:47 +0100
commitbdd3713beb385372b66ae7171833f712bbac36c0 (patch)
tree356da47dc45839b98475df9b381f09f5c6945251 /coverity
parenta31f20fbd84d9f80e82151e4dd6a93b4e36faedd (diff)
Add osmo-sysmon to coverity submission
Diffstat (limited to 'coverity')
-rwxr-xr-xcoverity/build_Osmocom.sh1
-rwxr-xr-xcoverity/prepare_source_Osmcocom.sh1
2 files changed, 2 insertions, 0 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh
index 86bb569..650fa0e 100755
--- a/coverity/build_Osmocom.sh
+++ b/coverity/build_Osmocom.sh
@@ -77,6 +77,7 @@ build_default osmo-ggsn
build_default osmo-iuh
build_osmopcu
build_osmobts
+build_default osmo-sysmon
build_default osmo-mgw
build_default osmo-bsc
build_default osmo-hlr
diff --git a/coverity/prepare_source_Osmcocom.sh b/coverity/prepare_source_Osmcocom.sh
index 7aafa5e..6f32474 100755
--- a/coverity/prepare_source_Osmcocom.sh
+++ b/coverity/prepare_source_Osmcocom.sh
@@ -22,6 +22,7 @@ for proj in \
osmo-gmr \
osmo-iuh \
osmo-pcu \
+ osmo-sysmon \
osmo-sip-connector \
osmo-trx \
osmo-hlr \