Patrick Georgi (patrick@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@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@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.,"