diff options
author | Martin Roth <martin@coreboot.org> | 2018-07-18 09:40:29 -0600 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2018-07-19 17:46:49 +0000 |
commit | 4a6477ed645ce369e4a7fb2728c82fb7d3e5f985 (patch) | |
tree | 8b9d00d76bd91c3f476370c8a847dd2779beae3d /util/lint | |
parent | 31fb846c59be4b24fe621b67012e57de90c75ad5 (diff) |
util/gitconfig: Make checkpatch non fatal in pre-commit hook
We don't block commits for failing checkpatch in gerrit, and we
shouldn't block them here. This allows checkpatch to still run, so
users can see the issues, but won't prevent the commit.
Adds a delay if checkpatch fails so that the issues can be seen.
Change-Id: Ibd4e8bb74e0b02825dcdf16e233a061c4bb43f50
Signed-off-by: Martin Roth <martin@coreboot.org>
Reviewed-on: https://review.coreboot.org/27534
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions