summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAaron Durbin <adurbin@chromium.org>2017-08-07 17:28:24 -0600
committerAaron Durbin <adurbin@chromium.org>2017-08-09 17:47:23 +0000
commit8304d6fcbe626f48b3d4f72799ca4b2d491d1346 (patch)
tree6f8ba8336e12bd97975195d60561775fb469d24a
parentc30d913f1f76cbde79039b7865939182c0d7c37a (diff)
downloadcoreboot-8304d6fcbe626f48b3d4f72799ca4b2d491d1346.tar.xz
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>
-rwxr-xr-xutil/lint/lint-stable-015-final-newlines4
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" | \