diff options
| -rwxr-xr-x | util/lint/lint-extended-015-final-newlines (renamed from util/lint/lint-stable-015-final-newlines) | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/util/lint/lint-stable-015-final-newlines b/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" | \ |