From 3108b1aa1bf0ce028f8fb469f1cd19c0a3b3b9cd Mon Sep 17 00:00:00 2001
From: Patrick Georgi <patrick@georgi-clan.de>
Date: Sun, 10 Aug 2014 19:15:04 +0200
Subject: lint: always remove temporary files

In the error case, they survived.

Change-Id: I15167be12ff9ee03f1b3bb86b93f20cb5be02b10
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/6583
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
---
 Makefile.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.inc')

diff --git a/Makefile.inc b/Makefile.inc
index 42ed707e8d..0a6b7bbe91 100644
--- a/Makefile.inc
+++ b/Makefile.inc
@@ -368,7 +368,7 @@ lint lint-stable:
 		fi; \
 		echo ========; \
 	done; \
-	test $$FAILED -eq 0 || { echo "ERROR: $$FAILED test(s) failed." &&  exit 1; }; \
+	test $$FAILED -eq 0 || { echo "ERROR: $$FAILED test(s) failed."; rm -f $$LINTLOG && exit 1; }; \
 	rm -f $$LINTLOG
 
 gitconfig:
-- 
cgit v1.2.3