diff options
| -rwxr-xr-x | util/lint/lint-000-license-headers | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers index 0d2a3af5e8..e705929ce5 100755 --- a/util/lint/lint-000-license-headers +++ b/util/lint/lint-000-license-headers @@ -93,8 +93,10 @@ check_for_license '"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES' check_for_license 'No license required' for file in $headerlist; do - #verify the file exists, and has content that requires a header - if [ -f "$file" ] && [ "$(wc -l < "$file")" -ne 0 ]; then + # Verify the file exists, and has content that requires a header + # This assumes that a file that has 4 lines or fewer is not notable + # enough to require a license. + if [ -f "$file" ] && [ "$(wc -l < "$file")" -gt 4 ]; then echo "$file has no recognized license header." fi done |