1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-03-28 14:56:28 +01:00

Make sure that if any of the piped commands fail, the cleanliness fails (#1083)

This commit is contained in:
Jonah Graham 2025-02-12 15:46:03 -05:00 committed by GitHub
parent fc083dad86
commit f43b833f01
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -11,6 +11,7 @@
###############################################################################
set -eu
set -o pipefail
SCRIPT=$( basename "${BASH_SOURCE[0]}" )