diff options
author | Patrick Georgi <pgeorgi@chromium.org> | 2018-05-30 15:54:08 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-05-30 17:12:00 +0000 |
commit | 54867864958262a57c60267df51c717a5bb8cc1d (patch) | |
tree | b60ccafc270a7a0b52c5fc4b3e8040d89eabcc38 /util/gitconfig | |
parent | 9110c1766866da698d20dc5d1e4ce87d098e2812 (diff) |
checkpatch: exclude util/crossgcc/patches
These files are supposed to contain trailing whitespace due to the patch
format. Also use the exclusion list in the pre-commit hook.
Change-Id: I8816c05ea703964a332915a0675096836957b242
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/26695
Reviewed-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Martin Roth <martinroth@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/gitconfig')
-rwxr-xr-x | util/gitconfig/pre-commit | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/gitconfig/pre-commit b/util/gitconfig/pre-commit index 2aed957df9..027eec0705 100755 --- a/util/gitconfig/pre-commit +++ b/util/gitconfig/pre-commit @@ -24,5 +24,5 @@ PATCHDIFF=$(git diff --cached --src-prefix=a/ --dst-prefix=b/) if printf "%s\n" "$PATCHDIFF" | grep -q "@@"; then echo echo "Running checkpatch" - printf "%s\n" "$PATCHDIFF" | util/lint/checkpatch.pl --no-signoff -q - + printf "%s\n" "$PATCHDIFF" | util/lint/lint-007-checkpatch diff fi |