<p>Harald Welte has uploaded this change for <strong>review</strong>.</p><p><a href="https://gerrit.osmocom.org/9756">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">jenkins_arch.sh: Exit with error on unknown architecture<br><br>Change-Id: Ib27c9ebaf2630c432b1923f8e14b36e7772a6033<br>---<br>M contrib/jenkins_arch.sh<br>1 file changed, 1 insertion(+), 0 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://gerrit.osmocom.org:29418/libosmocore refs/changes/56/9756/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/contrib/jenkins_arch.sh b/contrib/jenkins_arch.sh</span><br><span>index 360fd1c..b5a19af 100755</span><br><span>--- a/contrib/jenkins_arch.sh</span><br><span>+++ b/contrib/jenkins_arch.sh</span><br><span>@@ -29,5 +29,6 @@</span><br><span>   *)</span><br><span>     set +x</span><br><span>     echo "Unexpected architecture '$arch'"</span><br><span style="color: hsl(120, 100%, 40%);">+    exit 1</span><br><span>   ;;</span><br><span> esac</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/9756">change 9756</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/9756"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: libosmocore </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>
<div style="display:none"> Gerrit-Change-Id: Ib27c9ebaf2630c432b1923f8e14b36e7772a6033 </div>
<div style="display:none"> Gerrit-Change-Number: 9756 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Harald Welte <laforge@gnumonks.org> </div>