From 70e49fd619f9fd2d21a9e33bb73cf73d4df4fd7c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Tue, 21 Jul 2015 21:05:58 +0200
Subject: Don't ignore failure when doing 'make ci'

The best way to use 'make ci' is 'make -k ci', then it
will complete its run even if a version fails, and still
exit with an error code.
---
 erlang.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'erlang.mk')

diff --git a/erlang.mk b/erlang.mk
index e1270d1..8a4051a 100644
--- a/erlang.mk
+++ b/erlang.mk
@@ -5376,7 +5376,7 @@ ci_verbose = $(ci_verbose_$(V))
 
 define ci_target
 ci-$(1): $(CI_INSTALL_DIR)/$(1)
-	-$(ci_verbose) \
+	$(ci_verbose) \
 		PATH="$(CI_INSTALL_DIR)/$(1)/bin:$(PATH)" \
 		CI_OTP_RELEASE="$(1)" \
 		CT_OPTS="-label $(1)" \
-- 
cgit v1.2.3