diff options
Diffstat (limited to 'coverity/build_Osmocom.sh')
| -rwxr-xr-x | coverity/build_Osmocom.sh | 7 |
1 files changed, 7 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 |