diff options
Diffstat (limited to 'util/lint/lint-000-license-headers')
| -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 9c5c7913cf..f70b623d2d 100755 --- a/util/lint/lint-000-license-headers +++ b/util/lint/lint-000-license-headers @@ -18,6 +18,7 @@ HEADER_EXCLUDED="\ ^src/lib/gnat/|\ ^src/lib/lzmadecode.[ch]\$|\ ^src/lib/stack.c\$|\ +^src/sbom/TAGS|\ ^src/vendorcode/|\ ^util/amdtools/example_input/|\ ^util/cbfstool/lzma/|\ |