diff options
author | Patrick Georgi <patrick@georgi-clan.de> | 2012-02-25 19:52:45 +0100 |
---|---|---|
committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-03-01 00:04:40 +0100 |
commit | 07408e687ce440bf665cd6d04d65075b20db0215 (patch) | |
tree | dcbca808b11e70043397feeb56bd10b6eac6a8fe /util/optionlist | |
parent | cb02cb70d8f881f02cb41a4ba722c00c84c07bf6 (diff) |
gitconfig: Add lint-stable as pre-commit hook
When configuring the tree with "make gitconfig", a pre-commit hook
is installed that runs the stable lint tests.
If any of these fail, the log is visible (on stdout) and the
commit is aborted.
Change-Id: Ie2a26e87f466c63b24db8dca8827057a18ac7f3e
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/682
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/optionlist')
0 files changed, 0 insertions, 0 deletions