diff options
author | Max <msuraev@sysmocom.de> | 2018-11-22 14:20:18 +0100 |
---|---|---|
committer | Max <msuraev@sysmocom.de> | 2018-11-22 14:21:47 +0100 |
commit | bdd3713beb385372b66ae7171833f712bbac36c0 (patch) | |
tree | 356da47dc45839b98475df9b381f09f5c6945251 /coverity/build_Osmocom.sh | |
parent | a31f20fbd84d9f80e82151e4dd6a93b4e36faedd (diff) |
Add osmo-sysmon to coverity submission
Change-Id: I1e753d2c14198eccb046c259b3eec582b1921431
Diffstat (limited to 'coverity/build_Osmocom.sh')
-rwxr-xr-x | coverity/build_Osmocom.sh | 1 |
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 |