summaryrefslogtreecommitdiffstats
path: root/coverity/build_Osmocom.sh
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/build_Osmocom.sh
parenta31f20fbd84d9f80e82151e4dd6a93b4e36faedd (diff)
Add osmo-sysmon to coverity submission
Diffstat (limited to 'coverity/build_Osmocom.sh')
-rwxr-xr-xcoverity/build_Osmocom.sh1
1 files changed, 1 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