From 208912fdc27cfb3b4ed8d80c721fa80fd372daf2 Mon Sep 17 00:00:00 2001
From: Jeremy Wall <jeremy@marzhillstudios.com>
Date: Tue, 5 Feb 2019 18:50:44 -0600
Subject: [PATCH] MAINT: pipefail for make with pipes.

---
 Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1352eb1..594eb63 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,5 @@
+SHELL = /bin/bash -o pipefail
+
 all: test build
 
 build:
@@ -28,4 +30,7 @@ install: test
 
 publish: build test
 	cargo publish
-	(cd docsite; make deploysite)
\ No newline at end of file
+	(cd docsite; make deploysite)
+
+clean:
+	rm -f integration.log stdlibtest.log unittest.log
\ No newline at end of file