<p>Max has uploaded this change for <strong>review</strong>.</p><p><a href="https://gerrit.osmocom.org/12851">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">Use timeout in jenkins job<br><br>Automatically terminate 'make distcheck' jenkins build job after 5<br>minutes timeout to make sure tests won't hang indefinitely.<br><br>Change-Id: I815d65f31eec4e0c758478471a553ec2afb59a8d<br>---<br>M contrib/jenkins.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/libosmo-netif refs/changes/51/12851/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 f2013a5..7d0d1f2 100755</span><br><span>--- a/contrib/jenkins.sh</span><br><span>+++ b/contrib/jenkins.sh</span><br><span>@@ -37,7 +37,7 @@</span><br><span> autoreconf --install --force</span><br><span> ./configure --enable-sanitize --enable-werror</span><br><span> $MAKE $PARALLEL_MAKE</span><br><span style="color: hsl(0, 100%, 40%);">-$MAKE distcheck \</span><br><span style="color: hsl(120, 100%, 40%);">+timeout 5m $MAKE distcheck \</span><br><span>   || cat-testlogs.sh</span><br><span> </span><br><span> osmo-clean-workspace.sh</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/12851">change 12851</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/12851"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: libosmo-netif </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>
<div style="display:none"> Gerrit-Change-Id: I815d65f31eec4e0c758478471a553ec2afb59a8d </div>
<div style="display:none"> Gerrit-Change-Number: 12851 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Max <msuraev@sysmocom.de> </div>