Attention is currently required from: laforge. osmith has posted comments on this change by osmith. ( https://gerrit.osmocom.org/c/osmo-rp2040-firmware/+/40226?usp=email )
Change subject: contrib/jenkins: remove previous build dir ...................................................................... Patch Set 1: (1 comment) File contrib/jenkins.sh: https://gerrit.osmocom.org/c/osmo-rp2040-firmware/+/40226/comment/0a439288_605cd928?usp=email : PS1, Line 3: rm -rf build > wouldn't this fail the entire script if 'build' didn't exist while using 'sh > -ex' above? no, `rm -f` exits with 0 if the paths to delete do not exist: ``` $ rm -f /tmp/non-existing && echo ok ok ``` -- To view, visit https://gerrit.osmocom.org/c/osmo-rp2040-firmware/+/40226?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: comment Gerrit-Project: osmo-rp2040-firmware Gerrit-Branch: master Gerrit-Change-Id: I13ed287fc3d5710cf0a9b6abe0d5f8b89402160b Gerrit-Change-Number: 40226 Gerrit-PatchSet: 1 Gerrit-Owner: osmith <[email protected]> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: pespin <[email protected]> Gerrit-CC: laforge <[email protected]> Gerrit-Attention: laforge <[email protected]> Gerrit-Comment-Date: Tue, 06 May 2025 14:34:23 +0000 Gerrit-HasComments: Yes Gerrit-Has-Labels: No Comment-In-Reply-To: laforge <[email protected]>
