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

Patrick Georgi (patrick@georgi-clan.de) gerrit at coreboot.org
Sun Aug 10 19:15:33 CEST 2014


Patrick Georgi (patrick at georgi-clan.de) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/6583

-gerrit

commit 35d1904a11f3653ae49f94c47ec5d3a63bca1668
Author: Patrick Georgi <patrick at georgi-clan.de>
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 <patrick at georgi-clan.de>
---
 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:



More information about the coreboot-gerrit mailing list