summaryrefslogtreecommitdiffstats
path: root/coverity/build_Osmocom.sh
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2017-03-16 14:04:03 +0100
committerNeels Hofmeyr <neels@hofmeyr.de>2017-03-16 14:04:03 +0100
commite72f35cfa9969e52d0018ba4661f4519519c39ba (patch)
tree617f5594ae5bc40610f74db034babc2eabf5f356 /coverity/build_Osmocom.sh
parent5977e23db7f723c9fd1cbd5d1ab22329d876590e (diff)
coverity: add osmo-hlr to be scanned
Diffstat (limited to 'coverity/build_Osmocom.sh')
-rwxr-xr-xcoverity/build_Osmocom.sh7
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