diff --git a/util/lint/lint-stable-015-final-newlines b/util/lint/lint-extended-015-final-newlines similarity index 96% rename from util/lint/lint-stable-015-final-newlines rename to util/lint/lint-extended-015-final-newlines index 8abfb98c33..bfaa817e1f 100755 --- a/util/lint/lint-stable-015-final-newlines +++ b/util/lint/lint-extended-015-final-newlines @@ -46,10 +46,6 @@ 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" | \