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_…
:
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 <osmith(a)sysmocom.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: pespin <pespin(a)sysmocom.de>
Gerrit-CC: laforge <laforge(a)osmocom.org>
Gerrit-Attention: laforge <laforge(a)osmocom.org>
Gerrit-Comment-Date: Tue, 06 May 2025 14:34:23 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: laforge <laforge(a)osmocom.org>