diff options
| author | Alex Thiessen <alex.thiessen.de+coreboot@gmail.com> | 2018-01-04 20:48:35 +0000 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-01-10 09:50:37 +0000 |
| commit | f4ceff37c8016b460f19ec31c96af737dbe282e8 (patch) | |
| tree | c1e56528ece22c9055b2340b78fdd30a7b9c5c34 /util/lint | |
| parent | d4a3d0193279082dc47690d8ac861eb383d35728 (diff) | |
util/lint: Check license headers of git hooks
Now that all the files under util/gitconfig have their license headers,
enable lint-000-license-headers to check the directory too.
Change-Id: I242256f72ac70553535509f83166c6d1ddb16fdc
Signed-off-by: Alex Thiessen <alex.thiessen.de+coreboot@gmail.com>
Reviewed-on: https://review.coreboot.org/23098
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint')
| -rwxr-xr-x | util/lint/lint-000-license-headers | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers index d8d04be098..103c1f0de8 100755 --- a/util/lint/lint-000-license-headers +++ b/util/lint/lint-000-license-headers @@ -23,7 +23,6 @@ HEADER_EXCLUDED="\ ^util/kconfig/|\ ^util/romcc/tests|\ ^util/romcc/results|\ -^util/gitconfig|\ Kconfig|\ \<COPYING\>|\ \<LICENSE\>|\ |