[coreboot-gerrit] Change in coreboot[master]: util/lint: update kconfig_lint

[build bot (Jenkins) (Code Review)]

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

Change subject: util/lint: update kconfig_lint
......................................................................


Patch Set 3: Verified-1

Build Failed 

https://qa.coreboot.org/job/coreboot-gerrit/56986/ : FAILURE

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


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

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I0787eab80ae64f59664fb53f395389bf5ac2a067
Gerrit-Change-Number: 20360
Gerrit-PatchSet: 3
Gerrit-Owner: Martin Roth <martinroth at google.com>
Gerrit-Reviewer: Paul Menzel <paulepanter at users.sourceforge.net>
Gerrit-Reviewer: build bot (Jenkins) <no-reply at coreboot.org>
Gerrit-Comment-Date: Thu, 13 Jul 2017 17:16:06 +0000
Gerrit-HasComments: No
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20170713/e2c891e9/attachment.html>