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-stable-009-old-licenses | |
| parent | 4a3956d7cc07056fa8795d89972e288dfc270db7 (diff) | |
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-stable-009-old-licenses')
| -rwxr-xr-x | util/lint/lint-stable-009-old-licenses | 1 |
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 fdc76aa543..6e6dc1cb61 100755 --- a/util/lint/lint-stable-009-old-licenses +++ b/util/lint/lint-stable-009-old-licenses @@ -25,6 +25,7 @@ HEADER_EXCLUDED="\ \.jpg$|\ \.cksum$|\ \.bin$|\ +\.vbt$|\ \.hex$|\ \.patch$|\ _shipped$|\ |