summaryrefslogtreecommitdiff
path: root/util
diff options
context:
space:
mode:
Diffstat (limited to 'util')
-rwxr-xr-xutil/lint/lint-stable-009-old-licenses1
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\>|\