[coreboot-gerrit] Change in coreboot[master]: util/lint: ignore some more binary file types

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/19880 )

Change subject: util/lint: ignore some more binary file types
......................................................................


Patch Set 1: Verified+1

Build Successful 

https://qa.coreboot.org/job/coreboot-checkpatch/10023/ : SUCCESS

https://qa.coreboot.org/job/coreboot-gerrit/54294/ : SUCCESS

-- 
To view, visit https://review.coreboot.org/19880
To unsubscribe, visit https://review.coreboot.org/settings

Gerrit-MessageType: comment
Gerrit-Change-Id: I41e773c0adab796876a3b1e91e089ae89cbb04df
Gerrit-PatchSet: 1
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Owner: Patrick Georgi <pgeorgi at google.com>
Gerrit-Reviewer: Martin Roth <martinroth at google.com>
Gerrit-Reviewer: Philipp Deppenwiese <zaolin.daisuki at gmail.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply at coreboot.org>
Gerrit-HasComments: No