1 files changed, 1 insertions, 1 deletions
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