<p>osmith <strong>merged</strong> this change.</p><p><a href="https://gerrit.osmocom.org/12132">View Change</a></p><div style="white-space:pre-wrap">Approvals:
  Jenkins Builder: Verified
  Pau Espin Pedrol: Looks good to me, approved

</div><pre style="font-family: monospace,monospace; white-space: pre-wrap;">jenkins.sh: run "make distcheck"<br><br>Run distcheck in CI to be consistent with other Osmocom projects.<br><br>Change-Id: I7d3fa0fe12e13ca13d3330158425718e5c34d00d<br>---<br>M contrib/jenkins.sh<br>1 file changed, 6 insertions(+), 3 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh</span><br><span>index 4523a5a..dedec81 100755</span><br><span>--- a/contrib/jenkins.sh</span><br><span>+++ b/contrib/jenkins.sh</span><br><span>@@ -78,11 +78,12 @@</span><br><span> export LD_LIBRARY_PATH="$inst/lib"</span><br><span> export PATH="$inst/bin:$PATH"</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+CONFIG="--enable-sanitize --enable-werror --with-uhd --with-usrp1 --with-lms $INSTR"</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> # Additional configure options and depends</span><br><span style="color: hsl(0, 100%, 40%);">-CONFIG=""</span><br><span> if [ "$WITH_MANUALS" = "1" ]; then</span><br><span>  osmo-build-dep.sh osmo-gsm-manuals</span><br><span style="color: hsl(0, 100%, 40%);">-      CONFIG="--enable-manuals"</span><br><span style="color: hsl(120, 100%, 40%);">+   CONFIG="$CONFIG --enable-manuals"</span><br><span> fi</span><br><span> </span><br><span> set +x</span><br><span>@@ -95,10 +96,12 @@</span><br><span> </span><br><span> cd "$base"</span><br><span> autoreconf --install --force</span><br><span style="color: hsl(0, 100%, 40%);">-./configure --enable-sanitize --enable-werror --with-uhd --with-usrp1 --with-lms $INSTR $CONFIG</span><br><span style="color: hsl(120, 100%, 40%);">+./configure $CONFIG</span><br><span> $MAKE $PARALLEL_MAKE</span><br><span> $MAKE check \</span><br><span>   || cat-testlogs.sh</span><br><span style="color: hsl(120, 100%, 40%);">+DISTCHECK_CONFIGURE_FLAGS="$CONFIG" $MAKE distcheck \</span><br><span style="color: hsl(120, 100%, 40%);">+  || cat-testlogs.sh</span><br><span> </span><br><span> if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then</span><br><span>      make -C "$base/doc/manuals" publish</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/12132">change 12132</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/12132"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: osmo-trx </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: merged </div>
<div style="display:none"> Gerrit-Change-Id: I7d3fa0fe12e13ca13d3330158425718e5c34d00d </div>
<div style="display:none"> Gerrit-Change-Number: 12132 </div>
<div style="display:none"> Gerrit-PatchSet: 3 </div>
<div style="display:none"> Gerrit-Owner: osmith <osmith@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder (1000002) </div>
<div style="display:none"> Gerrit-Reviewer: Pau Espin Pedrol <pespin@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: osmith <osmith@sysmocom.de> </div>
<div style="display:none"> Gerrit-CC: Neels Hofmeyr <nhofmeyr@sysmocom.de> </div>