diff options
| -rwxr-xr-x | util/lint/lint-000-license-headers | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers index b9d93fd77c..9c5c7913cf 100755 --- a/util/lint/lint-000-license-headers +++ b/util/lint/lint-000-license-headers @@ -124,10 +124,8 @@ check_for_license 'SPDX-License-Identifier: BSD-4-Clause-UC' check_for_license 'SPDX-License-Identifier: CC-PDDC' for file in $headerlist; do - # 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 + # Verify the file actually exists + if [ -f "$file" ]; then echo "$file has no recognized SPDX identifier." fi done |