diff options
author | Aaron Durbin <adurbin@chromium.org> | 2017-08-07 17:28:24 -0600 |
---|---|---|
committer | Aaron Durbin <adurbin@chromium.org> | 2017-08-09 17:47:23 +0000 |
commit | 8304d6fcbe626f48b3d4f72799ca4b2d491d1346 (patch) | |
tree | 6f8ba8336e12bd97975195d60561775fb469d24a /src/device | |
parent | c30d913f1f76cbde79039b7865939182c0d7c37a (diff) |
util/lint: provide option to skip newline check
The newline lint check takes forever as it checks every file
in the git repo -- not just the files changed. To add insult to
injury these checks are performed on every commit. Allow one to
skip this check by setting the LINT_SKIP_NEWLINE_CHECK environment
variable.
Change-Id: I1cd5c50627b73d68b0da2fcb2d9546eb874a7959
Signed-off-by: Aaron Durbin <adurbin@chromium.org>
Reviewed-on: https://review.coreboot.org/20903
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Furquan Shaikh <furquan@google.com>
Diffstat (limited to 'src/device')
0 files changed, 0 insertions, 0 deletions