[scripts][buildall] Propogate logged error status through pipe tee

In the non-QUIET case, the log function pipes output to the tee command.
Without the pipefail option, if a make command fails, but the tee exits
succesfully, the overall status is 0 and the failed project doesn't get
added to the FAILED list and reported. Adding the pipefail option
propagates the make failure appropriately and adds the target to the
FAILED list.
This commit is contained in:
Aaron Odell
2023-04-04 15:46:11 -07:00
committed by Travis Geiselbrecht
parent 6bbdcd5a09
commit 47c8b9a711

View File

@@ -1,5 +1,7 @@
#!/usr/bin/env bash
set -o pipefail
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
function HELP {