diff options
-rwxr-xr-x | coverity/build_Osmocom.sh | 5 | ||||
-rwxr-xr-x | coverity/prepare_source_Osmcocom.sh | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index 9e5607d..3cb0c84 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -81,6 +81,11 @@ build_default osmo-ggsn build_osmopcu build_osmobts build_openbsc +build_default osmo-mgw +build_default osmo-bsc +build_default osmo-msc +build_default osmo-hlr +build_default osmo-sgsn # GMR build_default libosmo-dsp diff --git a/coverity/prepare_source_Osmcocom.sh b/coverity/prepare_source_Osmcocom.sh index 527bbc9..05e50e4 100755 --- a/coverity/prepare_source_Osmcocom.sh +++ b/coverity/prepare_source_Osmcocom.sh @@ -14,7 +14,11 @@ for proj in \ libosmo-sccp \ libsmpp34 \ openbsc \ + osmo-bsc \ + osmo-msc \ + osmo-mgw \ osmo-ggsn \ + osmo-sgsn \ osmo-bts \ osmo-gmr \ osmo-iuh \ |