From 5ee20e8d774adf0bb538269870b3552fdfc0e046 Mon Sep 17 00:00:00 2001
From: Christopher Haster <chaster@utexas.edu>
Date: Wed, 22 Nov 2017 14:49:48 -0600
Subject: [PATCH] Fixed pipefail issue that was preventing CI from reporting
 errors

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 2ef1287..cf978e7 100644
--- a/Makefile
+++ b/Makefile
@@ -11,6 +11,8 @@ ASM := $(SRC:.c=.s)
 
 TEST := $(patsubst tests/%.sh,%,$(wildcard tests/test_*))
 
+SHELL = /bin/bash -o pipefail
+
 ifdef DEBUG
 CFLAGS += -O0 -g3
 else
@@ -35,7 +37,7 @@ test: test_format test_dirs test_files test_seek test_parallel \
 	test_alloc test_paths test_orphan test_move test_corrupt
 test_%: tests/test_%.sh
 ifdef QUIET
-	./$< | sed '/^[^-=]/d'
+	./$< | sed -n '/^[-=]/p'
 else
 	./$<
 endif