diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-05-06 22:44:57 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-05-06 22:44:57 -0400 |
| commit | a63a7383a3aa25f1562464c94c356b7aacbbb0a6 (patch) | |
| tree | 2363148224f949ba8e568946119d4413a93539e5 /Makefile | |
| parent | 874ad187e069f53b01411ce577b39dcec3797a45 (diff) | |
Tweak how pipefail works
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |