diff options
author | Aaron Odell <aaronodell@google.com> | 2023-04-04 15:46:11 -0700 |
---|---|---|
committer | Travis Geiselbrecht <geist@foobox.com> | 2023-04-23 17:34:45 -0700 |
commit | 47c8b9a711cd595a4e25d0167edb859554d18d25 (patch) | |
tree | 9813205910c6fd0804da763ddc935cf3b1850358 | |
parent | 6bbdcd5a0936d5a24394c102dd3109564edf312c (diff) | |
download | lk-47c8b9a711cd595a4e25d0167edb859554d18d25.tar.gz |
[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.
-rwxr-xr-x | scripts/buildall | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/buildall b/scripts/buildall index 963c13da..0e218c6c 100755 --- a/scripts/buildall +++ b/scripts/buildall @@ -1,5 +1,7 @@ #!/usr/bin/env bash +set -o pipefail + DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" function HELP { |