Change in osmo-ci[master]: coverity: also specify --with-sysmobts for osmo-pcu

[fixeria]

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


Change subject: coverity: also specify --with-sysmobts for osmo-pcu
......................................................................

coverity: also specify --with-sysmobts for osmo-pcu

It's present in build_osmobts(), so let's add it for consistency.

Change-Id: Ie17e2f9f81258e4d60c8cecf0a7af38e8372f9dd
---
M coverity/build_Osmocom.sh
1 file changed, 1 insertion(+), 1 deletion(-)



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

diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh
index fcad50e..a778add 100755
--- a/coverity/build_Osmocom.sh
+++ b/coverity/build_Osmocom.sh
@@ -48,7 +48,7 @@
 build_osmopcu() {
 	pushd osmo-pcu 
 
-	do_build --enable-sysmocom-dsp=yes
+	do_build --enable-sysmocom-dsp=yes --with-sysmobts="$prefix/include/"
 	popd
 }
 

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

Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: Ie17e2f9f81258e4d60c8cecf0a7af38e8372f9dd
Gerrit-Change-Number: 25855
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/e8738b6f/attachment.htm>