summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/lint/lint-000-license-headers6
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