Note potential pipefail issues

1 files changed, 4 insertions, 0 deletions

diff --git a/buildos b/buildos
index 85d1d12..2e372a2 100755
--- a/buildos
+++ b/buildos
@@ -1198,6 +1198,8 @@ EOF
 		  # subject line (note that there can be a mix so we have to
 		  # try in the priority order).
 		  #
+		  # @@ pipefail
+		  #
 		  p=2
 		  s="$("${c[@]}" --output cat --priority 2 | head -n 1)"
 		  if [ -z "$s" ]; then
@@ -1214,6 +1216,8 @@ EOF
 
 		  s="bbot-agent-$tn@$i: $s"
 
+		  # @@ pipefail
+		  #
 		  info "$s"
 		  {
 		    echo "$tn.bbot_cmd: ssh build@$hname ${c[@]}";