<p>fixeria has uploaded this change for <strong>review</strong>.</p><p><a href="https://gerrit.osmocom.org/c/osmo-ci/+/25855">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">coverity: also specify --with-sysmobts for osmo-pcu<br><br>It's present in build_osmobts(), so let's add it for consistency.<br><br>Change-Id: Ie17e2f9f81258e4d60c8cecf0a7af38e8372f9dd<br>---<br>M coverity/build_Osmocom.sh<br>1 file changed, 1 insertion(+), 1 deletion(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/55/25855/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh</span><br><span>index fcad50e..a778add 100755</span><br><span>--- a/coverity/build_Osmocom.sh</span><br><span>+++ b/coverity/build_Osmocom.sh</span><br><span>@@ -48,7 +48,7 @@</span><br><span> build_osmopcu() {</span><br><span>         pushd osmo-pcu </span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">-     do_build --enable-sysmocom-dsp=yes</span><br><span style="color: hsl(120, 100%, 40%);">+    do_build --enable-sysmocom-dsp=yes --with-sysmobts="$prefix/include/"</span><br><span>      popd</span><br><span> }</span><br><span> </span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-ci/+/25855">change 25855</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/c/osmo-ci/+/25855"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: osmo-ci </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-Change-Id: Ie17e2f9f81258e4d60c8cecf0a7af38e8372f9dd </div>
<div style="display:none"> Gerrit-Change-Number: 25855 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: fixeria <vyanitskiy@sysmocom.de> </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>