summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/lint/lint-000-license-headers1
1 files changed, 1 insertions, 0 deletions
diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers
index 2e8588d8b2..07dde9487a 100755
--- a/util/lint/lint-000-license-headers
+++ b/util/lint/lint-000-license-headers
@@ -29,6 +29,7 @@ find src util -name .svn -type d -prune -o \
-name \*.[18] -prune -o \
-name romcc -type d -prune -o \
-name crossgcc -type d -prune -o \
+ -name vendorcode -type d -prune -o \
-type f -exec \
grep -L "51 Franklin St, Fifth Floor, Boston" {} + | \
sed -e "s,^.*$,File & has no valid GPL header.,"