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

[Patrick Georgi]

Patrick Georgi ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/6580

-gerrit

commit 522820c893bbac98f6bc737b7fd74ee055335503
Author: Patrick Georgi 
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 
---
 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.,"