Change in osmo-ci[master]: coverity: allow passing configure args to build_default()

[fixeria]

Hello Jenkins Builder, pespin, 

I'd like you to reexamine a change. Please visit

    https://gerrit.osmocom.org/c/osmo-ci/+/25856

to look at the new patch set (#2).

Change subject: coverity: allow passing configure args to build_default()
......................................................................

coverity: allow passing configure args to build_default()

Change-Id: I79aa2c65cd0d3b06c0bd9ec4f44288b21e40c3b7
---
M coverity/build_Osmocom.sh
1 file changed, 9 insertions(+), 17 deletions(-)


  git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/56/25856/2
-- 
To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/25856
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: I79aa2c65cd0d3b06c0bd9ec4f44288b21e40c3b7
Gerrit-Change-Number: 25856
Gerrit-PatchSet: 2
Gerrit-Owner: fixeria <vyanitskiy at sysmocom.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: pespin <pespin at sysmocom.de>
Gerrit-MessageType: newpatchset
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20211021/428a27f9/attachment.htm>