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

[laforge]

laforge has submitted this change. ( 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(-)

Approvals:
  Jenkins Builder: Verified
  laforge: Looks good to me, approved
  pespin: Looks good to me, but someone else must approve



diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh
index 4c69adc..fb5ed81 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: 2
Gerrit-Owner: fixeria <vyanitskiy at sysmocom.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: laforge <laforge at osmocom.org>
Gerrit-Reviewer: pespin <pespin at sysmocom.de>
Gerrit-MessageType: merged
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20211024/156e00e7/attachment.htm>