From 03e9d6aa13f474ab980779366b7a6c8593721be6 Mon Sep 17 00:00:00 2001 From: Martin Roth <martinroth@google.com> Date: Thu, 9 Feb 2017 16:44:24 -0800 Subject: util/lint: Don't check license text for files with under 5 lines MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Change-Id: I7c1e3cf558d447838819b4d6a63d93d48d5f13e0 Signed-off-by: Martin Roth <martinroth@google.com> Reviewed-on: https://review.coreboot.org/18316 Tested-by: build bot (Jenkins) Reviewed-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net> Reviewed-by: Werner Zeh <werner.zeh@siemens.com> --- util/lint/lint-000-license-headers | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'util') 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 -- cgit v1.2.3