diff options
Diffstat (limited to 'coverity')
| -rwxr-xr-x | coverity/build_Osmocom.sh | 7 | ||||
| -rwxr-xr-x | coverity/prepare_source_Osmcocom.sh | 1 |
2 files changed, 8 insertions, 0 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index 68cf8ed..58a74f2 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -83,6 +83,12 @@ build_openbsc() { popd } +build_osmohlr() { + pushd osmo-hlr + do_build + popd +} + build_osmobts() { #IU pushd openbsc/openbsc #IU git checkout master @@ -154,6 +160,7 @@ build_openggsn build_osmopcu build_osmobts build_openbsc +build_osmohlr # GMR build_libosmodsp diff --git a/coverity/prepare_source_Osmcocom.sh b/coverity/prepare_source_Osmcocom.sh index 0d54c06..6d226b2 100755 --- a/coverity/prepare_source_Osmcocom.sh +++ b/coverity/prepare_source_Osmcocom.sh @@ -20,6 +20,7 @@ for proj in \ osmo-pcu \ osmo-sip-connector \ osmo-trx \ + osmo-hlr \ ; do git clone git://git.osmocom.org/$proj |