From f382d3caec8c30c3884d5616da04f5a663afa39e Mon Sep 17 00:00:00 2001
From: Tomasz Kramkowski <tk@the-tk.com>
Date: Sat, 7 Aug 2021 15:08:21 +0100
Subject: set -o pipefail when it is necessary

---
 compile_commands.json.do | 2 +-
 default.o.do             | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/compile_commands.json.do b/compile_commands.json.do
index f01e0fa..6dd1db8 100755
--- a/compile_commands.json.do
+++ b/compile_commands.json.do
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-set -e
+set -e -o pipefail
 cmds=(common.cmd ieee754b.cmd pack.cmd test.cmd test_gen.cmd trace.cmd unpack.cmd)
 redo-ifchange "${cmds[@]}"
 cat "${cmds[@]}" | jq -s >"$3"
diff --git a/default.o.do b/default.o.do
index 1d0fb41..99f9434 100755
--- a/default.o.do
+++ b/default.o.do
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-set -e
+set -e -o pipefail
 redo-ifchg-pipe() { tr '\n' '\0' | xargs -r0 redo-ifchange; }
 src=${1%.o}.c
 if grep -q '@BUILD_CC host' "$src"; then
-- 
cgit v1.2.3-54-g00ecf