<p>daniel has uploaded this change for <strong>review</strong>.</p><p><a href="https://gerrit.osmocom.org/c/osmo-iuh/+/14991">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">jenkins: Enable manual publishing and building<br><br>Related: OS#2589<br>Change-Id: Ic7437daeab0b07d16fd71ca3881cb31bab7b1925<br>---<br>M contrib/jenkins.sh<br>1 file changed, 12 insertions(+), 2 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://gerrit.osmocom.org:29418/osmo-iuh refs/changes/91/14991/1</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 5754f2c..16f61b7 100755</span><br><span>--- a/contrib/jenkins.sh</span><br><span>+++ b/contrib/jenkins.sh</span><br><span>@@ -25,6 +25,12 @@</span><br><span> # the asn1c binary is used by the 'regen' target below</span><br><span> osmo-build-dep.sh asn1c aper-prefix</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+CONFIG=""</span><br><span style="color: hsl(120, 100%, 40%);">+if [ "$WITH_MANUALS" = "1" ]; then</span><br><span style="color: hsl(120, 100%, 40%);">+   osmo-build-dep.sh osmo-gsm-manuals</span><br><span style="color: hsl(120, 100%, 40%);">+    CONFIG="--enable-manuals"</span><br><span style="color: hsl(120, 100%, 40%);">+fi</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> set +x</span><br><span> echo</span><br><span> echo</span><br><span>@@ -34,7 +40,7 @@</span><br><span> set -x</span><br><span> </span><br><span> autoreconf --install --force</span><br><span style="color: hsl(0, 100%, 40%);">-./configure --enable-sanitize</span><br><span style="color: hsl(120, 100%, 40%);">+./configure --enable-sanitize $CONFIG</span><br><span> </span><br><span> # Verify that checked-in asn1 code is identical to regenerated asn1 code</span><br><span> PATH="$inst/bin:$PATH" $MAKE $PARALLEL_MAKE -C src regen</span><br><span>@@ -55,6 +61,10 @@</span><br><span>   || cat-testlogs.sh</span><br><span> $MAKE distcheck \</span><br><span>   || cat-testlogs.sh</span><br><span style="color: hsl(0, 100%, 40%);">-$MAKE maintainer-clean</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then</span><br><span style="color: hsl(120, 100%, 40%);">+       make -C "$base/doc/manuals" publish</span><br><span style="color: hsl(120, 100%, 40%);">+fi</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+$MAKE maintainer-clean</span><br><span> osmo-clean-workspace.sh</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-iuh/+/14991">change 14991</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-iuh/+/14991"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: osmo-iuh </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-Change-Id: Ic7437daeab0b07d16fd71ca3881cb31bab7b1925 </div>
<div style="display:none"> Gerrit-Change-Number: 14991 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: daniel <dwillmann@sysmocom.de> </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>