[coreboot-gerrit] Patch merged into coreboot/master: 1bfe374 lint: Use temporary build directory

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 1bfe37470e8300152b0f6f335a59f88096577bcf
Author: Nico Huber <nico.huber at secunet.com>
Date:   Tue Jul 2 16:39:28 2013 +0200

    lint: Use temporary build directory
    
    `util/lint/lint-stable-002-build-dir-handling` always overwrites your
    current `config.h` and `auto.conf` when the pre-commit hook is run. It
    can be very confusing when your configuration is suddenly broken. So fix
    it by not using the default build directory.
    
    Change-Id: If2bbc97ac2f12a8203a3769d813386a023f93dd6
    Signed-off-by: Nico Huber <nico.huber at secunet.com>
    Signed-off-by: Patrick Georgi <patrick at georgi-clan.de>
    Reviewed-on: http://review.coreboot.org/3593
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>


See http://review.coreboot.org/3593 for details.

-gerrit