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>
This commit is contained in:
parent
4ef309e85d
commit
3108b1aa1b
|
@ -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:
|
||||
|
|
Loading…
Reference in New Issue