From 833a74582d1296bbe84de12bb1f1e6555776fe77 Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Fri, 22 Sep 2017 17:09:38 -0700
Subject: Fail mail_tail when make fails

---
 scripts/wrapper/make_tail | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/wrapper/make_tail b/scripts/wrapper/make_tail
index 78ab9a0..a32db80 100755
--- a/scripts/wrapper/make_tail
+++ b/scripts/wrapper/make_tail
@@ -1,3 +1,6 @@
 #!/bin/bash
 
+set -o pipefail
+set -e
+
 make "$@" | tail
-- 
cgit v1.1