aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbuildos4
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[@]}";