diff options
-rwxr-xr-x | util/lint/lint-000-license-headers | 1 |
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.," |