From 7e053f3a23ae3a0c8dc77022ea056cd3977411a3 Mon Sep 17 00:00:00 2001
From: Vadim Yanitskiy <vyanitskiy@sysmocom.de>
Date: Wed, 20 Oct 2021 23:01:37 +0300
Subject: [PATCH] coverity: also specify --with-sysmobts for osmo-pcu

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

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

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