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" | \