diff options
| author | Nico Huber <nico.huber@secunet.com> | 2013-07-02 16:39:28 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2013-09-27 11:51:29 +0200 |
| commit | 1bfe37470e8300152b0f6f335a59f88096577bcf (patch) | |
| tree | 6dd5080217615aae8ed18bbae1dae9edad18c997 /documentation | |
| parent | a1179cafdb87e3dfd6df142b128331b02feaa5b2 (diff) | |
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>
Diffstat (limited to 'documentation')
0 files changed, 0 insertions, 0 deletions