summaryrefslogtreecommitdiffstats
path: root/coverity
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
parent5977e23db7f723c9fd1cbd5d1ab22329d876590e (diff)
coverity: add osmo-hlr to be scanned
Diffstat (limited to 'coverity')
-rwxr-xr-xcoverity/build_Osmocom.sh7
-rwxr-xr-xcoverity/prepare_source_Osmcocom.sh1
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