summaryrefslogtreecommitdiff
path: root/util/lint
diff options
context:
space:
mode:
Diffstat (limited to 'util/lint')
-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" | \