<p>Holger Freyther has uploaded this change for <strong>review</strong>.</p><p><a href="https://gerrit.osmocom.org/12102">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">Provide debug output before removing the evidence<br><br>For debugging it is important to have an idea if something was<br>extracted into the inst/ directory or not. There is space concern<br>about keeping the directory around.<br><br>As a compromise print the content of the inst directory before<br>removing it.<br><br>Change-Id: I35c2fa17a1b57dfd0a3ca5485874b7f50765c897<br>---<br>M contrib/jenkins-run.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/osmo-gsm-tester refs/changes/02/12102/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/contrib/jenkins-run.sh b/contrib/jenkins-run.sh</span><br><span>index 716899e..67fd87b 100755</span><br><span>--- a/contrib/jenkins-run.sh</span><br><span>+++ b/contrib/jenkins-run.sh</span><br><span>@@ -26,6 +26,7 @@</span><br><span> fi</span><br><span> </span><br><span> # no need to keep extracted binaries</span><br><span style="color: hsl(120, 100%, 40%);">+find "$trial_dir/inst" || true</span><br><span> rm -rf "$trial_dir/inst" || true</span><br><span> </span><br><span> # tar up all results for archiving (optional)</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/12102">change 12102</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/12102"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: osmo-gsm-tester </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>
<div style="display:none"> Gerrit-Change-Id: I35c2fa17a1b57dfd0a3ca5485874b7f50765c897 </div>
<div style="display:none"> Gerrit-Change-Number: 12102 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Holger Freyther <holger@freyther.de> </div>