Change in coreboot[master]: Makefile.inc: lint: Update to run lint-extended scripts - coreboot-gerrit

7 Aug 2017


      build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/16362 )
Change subject: Makefile.inc: lint: Update to run lint-extended scripts
......................................................................
Patch Set 3: Verified+1
Build Successful
https://qa.coreboot.org/job/coreboot-gerrit/58266/ : SUCCESS
https://qa.coreboot.org/job/coreboot-checkpatch/13681/ : SUCCESS
-- 
To view, visit https://review.coreboot.org/16362
To unsubscribe, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I7e4156844b8c60790e03a0e43564610bb0c8f386
Gerrit-Change-Number: 16362
Gerrit-PatchSet: 3
Gerrit-Owner: Martin Roth martinroth@google.com
Gerrit-Reviewer: Paul Menzel paulepanter@users.sourceforge.net
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-Comment-Date: Mon, 07 Aug 2017 16:18:13 +0000
Gerrit-HasComments: No