[coreboot-gerrit] Patch set updated for coreboot: util/lint: Update license linter, make stable version

Martin Roth (martinroth@google.com) gerrit at coreboot.org
Wed Jan 13 00:33:44 CET 2016


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

-gerrit

commit b58567c3290ddbef48b87e6c5c8b8a6f196079cb
Author: Martin Roth <martinroth at google.com>
Date:   Tue Jan 12 10:25:49 2016 -0700

    util/lint: Update license linter, make stable version
    
    - Split the script up to make it easier to update and read.
    - Check for multiple different license strings. Not all files are GPL
    licensed.
    - Don't validate 0 length files
    - Update list of files to exclude from the license header check.
    - Add command line option to set directories to check
    
    - Add stable version to check a few directories that are fixed.  This
    just calls the non-stable version with the directories to check.
    
    Change-Id: I90d4e93a20b4e1638ce4f43f8acbee72dc588625
    Signed-off-by: Martin Roth <martinroth at google.com>
---
 util/lint/lint-000-license-headers        | 61 +++++++++++++++++++++++++++++--
 util/lint/lint-stable-000-license-headers | 18 +++++++++
 2 files changed, 76 insertions(+), 3 deletions(-)

diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers
index 3c75ddf..ad764b8 100755
--- a/util/lint/lint-000-license-headers
+++ b/util/lint/lint-000-license-headers
@@ -2,6 +2,7 @@
 # This file is part of the coreboot project.
 #
 # Copyright (C) 2010 coresystems GmbH
+# Copyright (C) 2016 Google Inc.
 #
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -13,8 +14,62 @@
 # GNU General Public License for more details.
 #
 #
-# DESCR: Check that all files in src/ and util/ have valid license headers
+# DESCR: Check that files in have valid license headers
+# $1 is an optional command line parameter containing directories to check
+
+# regex list of files and directories to exclude from the search
+HEADER_EXCLUDED="\
+^src/vendorcode/|\
+^util/kconfig/|\
+^util/romcc/tests|\
+^util/romcc/results|\
+^util/gitconfig|\
+Kconfig|\
+\<COPYING\>|\
+\<LICENSE\>|\
+\<README\>|\
+Changelog|\
+TODO|\
+EXAMPLE|\
+\.txt$|\
+\.jpg$|\
+\.cksum$|\
+\.bin$|\
+\.hex$|\
+\.patch$|\
+_shipped$|\
+/microcode-[^/]*.h$|\
+/sdram-.*\.inc$|\
+Makefile\.inc\
+"
+
+#space separated list of directories to test
+if [ "$1" = "" ]; then
+	HEADER_DIRS="src util"
+else
+	HEADER_DIRS="$1"
+fi
 
 LC_ALL=C export LC_ALL
-grep -L "You should have received a copy of the GNU General Public License" `git ls-files src util |egrep -v "(^3rdparty|^src/vendorcode/|^util/kconfig/|^util/romcc/tests|\<COPYING\>|\<LICENSE\>|\<README\>|_shipped$|\.patch$|/microcode-[^/]*.h$)"` | \
-	sed -e "s,^.*$,File & has no valid GPL header.,"
+
+#get initial list from git, removing HEADER_EXCLUDED files.
+#make a copy to check for the old style header later.
+headerlist=$(git ls-files $HEADER_DIRS | egrep -v "($HEADER_EXCLUDED)")
+
+#update headerlist by removing files that match the license string
+check_for_license() {
+	headerlist=$(grep -iL "$1" $headerlist 2>/dev/null)
+}
+
+#search the files for license headers
+check_for_license "GNU General Public License"
+check_for_license 'IS PROVIDED .*"AS IS"'
+check_for_license "IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE"
+check_for_license '"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES'
+
+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
+		echo "$file has no recognized license header."
+	fi
+done
diff --git a/util/lint/lint-stable-000-license-headers b/util/lint/lint-stable-000-license-headers
new file mode 100755
index 0000000..494f6a5
--- /dev/null
+++ b/util/lint/lint-stable-000-license-headers
@@ -0,0 +1,18 @@
+#!/bin/sh
+# This file is part of the coreboot project.
+#
+# Copyright (C) 2016 Google Inc.
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; version 2 of the License.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+#
+# DESCR: Check that files have license headers
+
+util/lint/lint-000-license-headers "src/arch src/acpi src/superio src/ec src/commonlib"



More information about the coreboot-gerrit mailing list