From a63a7383a3aa25f1562464c94c356b7aacbbb0a6 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Tue, 6 May 2025 22:44:57 -0400
Subject: Tweak how pipefail works

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 3a92558c..49df2d5e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,4 @@
+SHELL=/bin/bash -o pipefail
 # Run ./configure.sh to choose installation locations:
 ifeq ($(wildcard config.mk),)
 all: config.mk
@@ -143,8 +144,7 @@ config.mk: configure.sh
 test/results/%.tm.testresult: test/%.tm build/bin/tomo
 	@mkdir -p test/results
 	@printf '\033[33;1;4m%s\033[m\n' $<
-	@set -o pipefail; \
-	if ! COLOR=1 LC_ALL=C ./local-tomo -O 1 $< 2>&1 | tee $@; then \
+	@if ! COLOR=1 LC_ALL=C ./local-tomo -O 1 $< 2>&1 | tee $@; then \
 		rm -f $@; \
 		false; \
 	fi
-- 
cgit v1.2.3