diff options
author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2021-10-20 23:26:49 +0300 |
---|---|---|
committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2021-10-21 22:16:04 +0300 |
commit | 56489bc521e82fd0dd01f2a7b2f8b2926b478f74 (patch) | |
tree | 66fcaebd8f51a844bba4813b722ceab8085b842a | |
parent | 27e5f8ac15cd2d40897e16fdd98381370973d0b7 (diff) |
coverity: also build and check SIMTrace host tools
Change-Id: I74da8b523c9d51887d5eceb01ca0f505bb846812
-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 |