Patrick Georgi (patrick@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@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@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: