1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-06 17:26:01 +02:00

Make sure that if any of the piped commands fail, the cleanliness fails

This commit is contained in:
Jonah Graham 2025-02-04 11:38:45 -05:00
parent f0c74ed38d
commit 71b70cf1ff

View file

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