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 /util/lint | |
| 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 'util/lint')
| -rwxr-xr-x | util/lint/lint-stable-015-final-newlines | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/util/lint/lint-stable-015-final-newlines b/util/lint/lint-stable-015-final-newlines index bfaa817e1f..8abfb98c33 100755 --- a/util/lint/lint-stable-015-final-newlines +++ b/util/lint/lint-stable-015-final-newlines @@ -46,6 +46,10 @@ test_for_final_newline() { done } +if [ -n "${LINT_SKIP_NEWLINE_CHECK}" ]; then + exit 0 +fi + ${FIND_FILES} | sed 's|^\./||' | sort | \ grep -v "$EXCLUDED_DIRS" | \ grep -v "$EXCLUDED_FILES" | \ |