diff options
-rwxr-xr-x | coverity/build_Osmocom.sh | 8 | ||||
-rwxr-xr-x | coverity/prepare_source_Osmcocom.sh | 1 |
2 files changed, 9 insertions, 0 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index cf71a6f..65277fd 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -54,6 +54,12 @@ build_osmocombb() { popd } +build_simtrace2() { + pushd simtrace + make -C host + popd +} + cd "$src_dir" rm -rf "$prefix" @@ -102,3 +108,5 @@ build_default osmo-trx \ # OsmocomBB (without firmware) build_osmocombb +# SIMTrace host tools +build_simtrace2 diff --git a/coverity/prepare_source_Osmcocom.sh b/coverity/prepare_source_Osmcocom.sh index cad9b16..8dbcbce 100755 --- a/coverity/prepare_source_Osmcocom.sh +++ b/coverity/prepare_source_Osmcocom.sh @@ -29,6 +29,7 @@ for proj in \ osmo-hlr \ osmocom-bb \ osmo-smlc \ + simtrace2 \ ; do if [ -d $proj ]; then |