From cd00a18c3a85080783c71abaeae87e4c599435e3 Mon Sep 17 00:00:00 2001
From: w0rp <devw0rp@gmail.com>
Date: Sat, 22 Oct 2016 14:20:05 +0100
Subject: [PATCH] Make builds fail again when there are Vint warnings.

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

diff --git a/Makefile b/Makefile
index 50d5e63..438ae69 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,4 @@
+SHELL := /usr/bin/env bash
 IMAGE ?= w0rp/ale
 CURRENT_IMAGE_ID = 107e4efc4267
 DOCKER_FLAGS = --rm -v $(PWD):/testplugin -v $(PWD)/test:/home "$(IMAGE)"
@@ -25,7 +26,9 @@ test: test-setup
 	echo '========================================'; \
 	echo 'Vint warnings/errors follow:'; \
 	echo; \
+	set -o pipefail; \
 	docker run -a stdout $(DOCKER_FLAGS) vint -s /testplugin | sed s:^/testplugin/:: || EXIT=$$?; \
+	set +o pipefail; \
 	echo; \
 	echo; \
 	exit $$EXIT;