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

</div><pre style="font-family: monospace,monospace; white-space: pre-wrap;">jenkins.sh: run 'make distcheck'<br><br>Everything is in place for 'make distcheck' now.<br><br>(moving manuals to project repositories 18/19)<br><br>Related: OS#3385<br>Change-Id: Ie31fba3d1afd31c25489ce08169101d9ed9de536<br>---<br>M contrib/jenkins.sh<br>1 file changed, 1 insertion(+), 0 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 1fd19d1..626160e 100755</span><br><span>--- a/contrib/jenkins.sh</span><br><span>+++ b/contrib/jenkins.sh</span><br><span>@@ -10,6 +10,7 @@</span><br><span> ./configure</span><br><span> $MAKE $PARALLEL_MAKE</span><br><span> $MAKE $PARALLEL_MAKE check</span><br><span style="color: hsl(120, 100%, 40%);">+$MAKE $PARALLEL_MAKE distcheck</span><br><span> </span><br><span> if [ "x$publish" = "x--publish" ]; then</span><br><span>   mkdir out/</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/11846">change 11846</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/11846"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: osmo-gsm-manuals </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: merged </div>
<div style="display:none"> Gerrit-Change-Id: Ie31fba3d1afd31c25489ce08169101d9ed9de536 </div>
<div style="display:none"> Gerrit-Change-Number: 11846 </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: Neels Hofmeyr <nhofmeyr@sysmocom.de> </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>