[coreboot-gerrit] New patch to review for coreboot: 35d1904 lint: always remove temporary files

[Patrick Georgi]

Patrick Georgi ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/6583

-gerrit

commit 35d1904a11f3653ae49f94c47ec5d3a63bca1668
Author: Patrick Georgi 
Date:   Sun Aug 10 19:15:04 2014 +0200

lint: always remove temporary files

In the error case, they survived.

Change-Id: I15167be12ff9ee03f1b3bb86b93f20cb5be02b10
    Signed-off-by: Patrick Georgi 
---
 Makefile.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.inc b/Makefile.inc
index 42ed707..0a6b7bb 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: