the following patch was just integrated into master: commit 3108b1aa1bf0ce028f8fb469f1cd19c0a3b3b9cd 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 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
See http://review.coreboot.org/6583 for details.
-gerrit