diff options
author | Patrick Georgi <pgeorgi@chromium.org> | 2018-05-30 15:48:16 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-05-30 17:11:51 +0000 |
commit | 9110c1766866da698d20dc5d1e4ce87d098e2812 (patch) | |
tree | 555dcb14aaa97cf8ec21e9bb6eb7fbef9fc8691c /util/lint/lint-007-checkpatch | |
parent | f6081c2deb6cb0bf07634185630f9a94ab5cbbb8 (diff) |
util/gitconfig: improve robustness of checkpatch in pre-commit
Users can have non-default configurations as to how git diff et al are
presenting file names in diffs (default: a/ and b/ prefixes). checkpatch
expects that and trims the first element, so enforce that configuration
for the diff that's sent into it.
Change-Id: I099795119456a73c900b31ce191c2d9e898a5c7e
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/26694
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util/lint/lint-007-checkpatch')
0 files changed, 0 insertions, 0 deletions