Patch Set 13: Now, it's a shell and not a bash script as suggested by Max. All comments (PS11) should be addressed. Furthermore osmo-build.sh checks whether all functions in contrib/jenkins.sh and build scripts like osmo-deps.sh and osmo-build-dep.sh are available and fails elsewise (fail fast).
Thanks for all the reviews! -- To view, visit https://gerrit.osmocom.org/2465 To unsubscribe, visit https://gerrit.osmocom.org/settings Gerrit-MessageType: comment Gerrit-Change-Id: Ifee0a2f837d23b19aa5326f810234d5452e47484 Gerrit-PatchSet: 13 Gerrit-Project: osmo-ci Gerrit-Branch: master Gerrit-Owner: André Boddenberg <dr.bl...@gmail.com> Gerrit-Reviewer: André Boddenberg <dr.bl...@gmail.com> Gerrit-Reviewer: Harald Welte <lafo...@gnumonks.org> Gerrit-Reviewer: Holger Freyther <hol...@freyther.de> Gerrit-Reviewer: Max <msur...@sysmocom.de> Gerrit-Reviewer: Neels Hofmeyr <nhofm...@sysmocom.de> Gerrit-HasComments: No