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

---
 default.o.do | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'default.o.do')

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