diff options
| author | Martin Roth <gaumless@gmail.com> | 2022-08-07 17:17:41 -0600 |
|---|---|---|
| committer | Martin L Roth <gaumless@gmail.com> | 2022-08-11 17:53:48 +0000 |
| commit | 251e26683e25fdbef329e9e731319ef95b0f7327 (patch) | |
| tree | 179f8cb89996af752d8e8b72d3ea0c6efd228f5f /util/lint/lint-000-license-headers | |
| parent | fb8876d3565ccf8efbd5d73c08a59983ab68222a (diff) | |
util/lint: Add .gitignore files to list that don't need a license
Signed-off-by: Martin Roth <martin.roth@amd.corp-partner.google.com>
Change-Id: I568a357b40e8bb69b2b26752d241f06adfbe029e
Reviewed-on: https://review.coreboot.org/c/coreboot/+/66503
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Marshall Dawson <marshalldawson3rd@gmail.com>
Reviewed-by: Matt DeVillier <matt.devillier@amd.corp-partner.google.com>
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 e6c62b9ad5..b9d93fd77c 100755 --- a/util/lint/lint-000-license-headers +++ b/util/lint/lint-000-license-headers @@ -34,6 +34,7 @@ EXAMPLE|\ NEWS|\ ChangeLog|\ Dockerfile|\ +\.gitignore$|\ \.in$|\ \.[18]$|\ \.md$|\ |