summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-009-old-licenses
diff options
context:
space:
mode:
authorMartin Roth <martinroth@google.com>2018-05-04 09:19:07 -0600
committerMartin Roth <martinroth@google.com>2018-05-09 16:19:36 +0000
commitdea13331a1967b6cdab2234303fdf8d430243bd6 (patch)
treea45e0b626c7a7ea507651f48b1a6bd88c75a535f /util/lint/lint-stable-009-old-licenses
parent4a3956d7cc07056fa8795d89972e288dfc270db7 (diff)
downloadcoreboot-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-stable-009-old-licenses')
-rwxr-xr-xutil/lint/lint-stable-009-old-licenses1
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$|\