diff options
| author | Martin Roth <martinroth@google.com> | 2018-05-04 09:19:07 -0600 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2018-05-09 16:19:36 +0000 |
| commit | dea13331a1967b6cdab2234303fdf8d430243bd6 (patch) | |
| tree | a45e0b626c7a7ea507651f48b1a6bd88c75a535f /util/lint/lint-000-license-headers | |
| parent | 4a3956d7cc07056fa8795d89972e288dfc270db7 (diff) | |
| download | coreboot-dea13331a1967b6cdab2234303fdf8d430243bd6.tar.xz | |
util/lint: Ignore whitespace, newlines, and licenses in vbt files
Change-Id: I84f612db058d83936ddd5a6baa32c993e5b0f594
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/26064
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@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 103c1f0de8..43be380025 100755 --- a/util/lint/lint-000-license-headers +++ b/util/lint/lint-000-license-headers @@ -34,6 +34,7 @@ EXAMPLE|\ \.jpg$|\ \.cksum$|\ \.bin$|\ +\.vbt$|\ \.hex$|\ \.patch$|\ _shipped$|\ |