From 0a432d6a05d2a8f1f8f5e6e851f5174c98a64d1d Mon Sep 17 00:00:00 2001
From: Patrick Wendell <pwendell@gmail.com>
Date: Sat, 21 Jun 2014 13:02:49 -0700
Subject: HOTFIX: Fix missing MIMA ignore

---
 dev/mima | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/mima')

diff --git a/dev/mima b/dev/mima
index b68800d6d0..7857294f61 100755
--- a/dev/mima
+++ b/dev/mima
@@ -18,6 +18,7 @@
 #
 
 set -o pipefail
+set -e
 
 # Go to the Spark project root directory
 FWDIR="$(cd `dirname $0`/..; pwd)"
-- 
cgit v1.2.3