[coreboot-gerrit] New patch to review for coreboot: util/lint: Add linter for files with the old license header

Martin Roth (martinroth@google.com) gerrit at coreboot.org
Wed Jan 13 00:34:13 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/12920

-gerrit

commit 8b0d47965198078721cb7836457ae820a49201c6
Author: Martin Roth <martinroth at google.com>
Date:   Tue Jan 12 15:32:50 2016 -0700

    util/lint: Add linter for files with the old license header
    
    Help prevent additional files coming in to the tree with the old
    license header.
    
    Change-Id: Idbafc2d8c05f87075083293d27900304c53e13dc
    Signed-off-by: Martin Roth <martinroth at google.com>
---
 util/lint/lint-stable-009-old-licenses | 49 ++++++++++++++++++++++++++++++++++
 1 file changed, 49 insertions(+)

diff --git a/util/lint/lint-stable-009-old-licenses b/util/lint/lint-stable-009-old-licenses
new file mode 100755
index 0000000..702798f
--- /dev/null
+++ b/util/lint/lint-stable-009-old-licenses
@@ -0,0 +1,49 @@
+#!/bin/sh
+# 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
+# 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: verify that files don't have the old style header
+
+# regex list of files and directories to exclude from the search
+HEADER_EXCLUDED="\
+^src/vendorcode/|\
+^util/kconfig/|\
+\<COPYING\>|\
+\.jpg$|\
+\.cksum$|\
+\.bin$|\
+\.hex$|\
+\.patch$|\
+_shipped$|\
+^util/scripts/no-fsf-addresses.sh|\
+^util/lint/lint-000-license-headers|\
+^util/lint/lint-stable-000-license-headers\
+"
+
+if [ "$HEADER_DIRS" = "" ]; then
+	HEADER_DIRS="src util"
+fi
+
+LC_ALL=C export LC_ALL
+
+headerlist=$(git ls-files $HEADER_DIRS | egrep -v "($HEADER_EXCLUDED)")
+
+#check for the old style header
+headerlist=$(grep -il "You should have received a copy of the GNU" \
+	headerlist 2>/dev/null)
+
+for file in $headerlist; do
+	echo "$file has the old GPL header."
+done



More information about the coreboot-gerrit mailing list