lint: Use temporary build directory
commit1bfe37470e8300152b0f6f335a59f88096577bcf
authorNico Huber <nico.huber@secunet.com>
Tue, 2 Jul 2013 14:39:28 +0000 (2 16:39 +0200)
committerPatrick Georgi <patrick@georgi-clan.de>
Fri, 27 Sep 2013 09:51:29 +0000 (27 11:51 +0200)
tree6dd5080217615aae8ed18bbae1dae9edad18c997
parenta1179cafdb87e3dfd6df142b128331b02feaa5b2
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@secunet.com>
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/3593
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
util/lint/lint-stable-002-build-dir-handling