[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