<p style="white-space: pre-wrap; word-wrap: break-word;">This patch resulted from the discussion here:<br>https://gerrit.osmocom.org/#/c/osmo-ci/+/12045/</p><p style="white-space: pre-wrap; word-wrap: break-word;">I gave an example of why this is redundant, repeating it below.</p><p style="white-space: pre-wrap; word-wrap: break-word;">---</p><p style="white-space: pre-wrap; word-wrap: break-word;">I'm sure that it is redundant. See the osmo-trx section from master-builds.yml for example. Currently in master, we have this code:</p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">      - osmo-trx:<br>          a1_name: INSTR<br>          # ARM variants temporarily disabled due to issue OS#3061<br>          # a1: !!python/tuple [--with-sse, --with-neon, --with-neon-vfpv4]<br>          a1: !!python/tuple [--with-sse]<br>          concurrent: true<br>          cmd: ./contrib/jenkins.sh --publish</pre><p style="white-space: pre-wrap; word-wrap: break-word;"><br>So there's no INSTR="$INSTR" statement in front of jenkins.sh. The jenkins.sh script of osmo-trx.git has the following line:</p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">  ./configure --enable-sanitize --enable-werror --with-uhd --with-usrp1 --with-lms $INSTR</pre><p style="white-space: pre-wrap; word-wrap: break-word;">And executed by jenkins, it it shows that INSTR holds --with-sse:</p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">  + ./configure --enable-sanitize --enable-werror --with-uhd --with-usrp1 --with-lms --with-sse</pre><p style="white-space: pre-wrap; word-wrap: break-word;">https://jenkins.osmocom.org/jenkins/view/master/job/master-osmo-trx/710/INSTR=--with-sse,a2=default,a3=default,label=osmocom-master-debian9/console</p><p><a href="https://gerrit.osmocom.org/12084">View Change</a></p><ul style="list-style: none; padding: 0;"></ul><p>To view, visit <a href="https://gerrit.osmocom.org/12084">change 12084</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/12084"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: osmo-ci </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: comment </div>
<div style="display:none"> Gerrit-Change-Id: I9238da3dd3c4461f82dc7c792f886177399be3dc </div>
<div style="display:none"> Gerrit-Change-Number: 12084 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: osmith <osmith@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: osmith <osmith@sysmocom.de> </div>
<div style="display:none"> Gerrit-Comment-Date: Mon, 03 Dec 2018 16:11:03 +0000 </div>
<div style="display:none"> Gerrit-HasComments: No </div>
<div style="display:none"> Gerrit-HasLabels: No </div>