[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