diff options
Diffstat (limited to 'util/lint/lint-stable-015-final-newlines')
| -rwxr-xr-x | util/lint/lint-stable-015-final-newlines | 4 |
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" | \ |