[coreboot-gerrit] Patch set updated for coreboot: util/lint: Don't check license text for files with under 5 lines

[Martin Roth (martinroth@google.com)]

Martin Roth (martinroth at google.com) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/18316

-gerrit

commit bbaf4d38ffc78197b47dd0373b9bd70c9ce29c01
Author: Martin Roth <martinroth at google.com>
Date:   Thu Feb 9 16:44:24 2017 -0800

    util/lint: Don't check license text for files with under 5 lines
    
    Change-Id: I7c1e3cf558d447838819b4d6a63d93d48d5f13e0
    Signed-off-by: Martin Roth <martinroth at google.com>
---
 util/lint/lint-000-license-headers | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers
index 0d2a3af..e705929 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