diff options
Diffstat (limited to 'util/lint/lint-stable-009-old-licenses')
| -rwxr-xr-x | util/lint/lint-stable-009-old-licenses | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/lint/lint-stable-009-old-licenses b/util/lint/lint-stable-009-old-licenses index 9d9eb9f43c..fdc76aa543 100755 --- a/util/lint/lint-stable-009-old-licenses +++ b/util/lint/lint-stable-009-old-licenses @@ -18,6 +18,7 @@ # regex list of files and directories to exclude from the search HEADER_EXCLUDED="\ +^src/lib/gnat/|\ ^src/vendorcode/|\ ^util/kconfig/|\ \<COPYING\>|\ |