From 47c8b9a711cd595a4e25d0167edb859554d18d25 Mon Sep 17 00:00:00 2001
From: Aaron Odell <aaronodell@google.com>
Date: Tue, 4 Apr 2023 15:46:11 -0700
Subject: [PATCH] [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.
---
 scripts/buildall | 2 ++
 1 file changed, 2 insertions(+)

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 {