diff options
-rwxr-xr-x | coverity/build_Osmocom.sh | 9 | ||||
-rwxr-xr-x | coverity/prepare_source_Osmcocom.sh | 1 |
2 files changed, 10 insertions, 0 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index 650fa0e..ef45b7a 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -61,6 +61,12 @@ build_libsmpp34() { popd } +build_osmocombb() { + pushd osmocom-bb/src/ + make nofirmware + popd +} + cd "$src_dir" rm -rf "$prefix" @@ -92,3 +98,6 @@ build_default osmo-gmr build_default osmo-sip-connector build_default osmo-trx + +# OsmocomBB (without firmware) +build_osmocombb diff --git a/coverity/prepare_source_Osmcocom.sh b/coverity/prepare_source_Osmcocom.sh index 6f32474..065630f 100755 --- a/coverity/prepare_source_Osmcocom.sh +++ b/coverity/prepare_source_Osmcocom.sh @@ -26,6 +26,7 @@ for proj in \ osmo-sip-connector \ osmo-trx \ osmo-hlr \ + osmocom-bb \ ; do if [ -d $proj ]; then |