From 82e00e4f4e8f3c8ac5b59576d976e060e8186aa1 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Tue, 9 Mar 2021 16:28:34 +0200
Subject: Note potential pipefail issues

---
 buildos | 4 ++++
 1 file changed, 4 insertions(+)

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[@]}";
-- 
cgit v1.1