Change in osmo-ci[master]: coverity: also build and check SIMTrace host tools

[fixeria]

fixeria has uploaded this change for review. ( https://gerrit.osmocom.org/c/osmo-ci/+/25861 )


Change subject: coverity: also build and check SIMTrace host tools
......................................................................

coverity: also build and check SIMTrace host tools

Change-Id: I74da8b523c9d51887d5eceb01ca0f505bb846812
---
M coverity/build_Osmocom.sh
M coverity/prepare_source_Osmcocom.sh
2 files changed, 9 insertions(+), 0 deletions(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/61/25861/1

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 @@
 	popd
 }
 
+build_simtrace2() {
+	pushd simtrace
+	make -C host
+	popd
+}
+
 cd "$src_dir"
 
 rm -rf "$prefix"
@@ -102,3 +108,5 @@
 
 # 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 @@
   osmo-hlr \
   osmocom-bb \
   osmo-smlc \
+  simtrace2 \
   ; do
 
 	if [ -d $proj ]; then

-- 
To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/25861
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: I74da8b523c9d51887d5eceb01ca0f505bb846812
Gerrit-Change-Number: 25861
Gerrit-PatchSet: 1
Gerrit-Owner: fixeria <vyanitskiy at sysmocom.de>
Gerrit-MessageType: newchange
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20211020/d383493f/attachment.htm>