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/gitconfig/pre-commit | |
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/gitconfig/pre-commit')
-rwxr-xr-x | util/gitconfig/pre-commit | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/gitconfig/pre-commit b/util/gitconfig/pre-commit new file mode 100755 index 0000000000..8ab3e5604e --- /dev/null +++ b/util/gitconfig/pre-commit @@ -0,0 +1,2 @@ +#!/bin/sh +exec make lint-stable |