[coreboot-gerrit] New patch to review for coreboot: 522820c lint: don't look for GPL headers within board-status

Patrick Georgi (patrick@georgi-clan.de) gerrit at coreboot.org
Sun Aug 10 19:15:30 CEST 2014


Patrick Georgi (patrick at georgi-clan.de) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/6580

-gerrit

commit 522820c893bbac98f6bc737b7fd74ee055335503
Author: Patrick Georgi <patrick at georgi-clan.de>
Date:   Sun Aug 10 18:55:10 2014 +0200

    lint: don't look for GPL headers within board-status
    
    Change-Id: I1c5961f45a14c145676f21039a86ac3cfd916741
    Signed-off-by: Patrick Georgi <patrick at georgi-clan.de>
---
 util/lint/lint-000-license-headers | 1 +
 1 file changed, 1 insertion(+)

diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers
index 07dde94..bf28c4e 100755
--- a/util/lint/lint-000-license-headers
+++ b/util/lint/lint-000-license-headers
@@ -30,6 +30,7 @@ find src util -name .svn -type d -prune -o \
 	-name romcc -type d -prune -o \
 	-name crossgcc -type d -prune -o \
 	-name vendorcode -type d -prune -o \
+	-name board-status -type d -prune -o \
 	-type f -exec \
 		grep -L "51 Franklin St, Fifth Floor, Boston" {} + | \
 	sed -e "s,^.*$,File & has no valid GPL header.,"



More information about the coreboot-gerrit mailing list