[coreboot-gerrit] Change in coreboot[master]: util/lint: Don't run checkpatch on the documentation

Martin Roth (Code Review) gerrit at coreboot.org
Mon Apr 24 19:18:10 CEST 2017


Martin Roth has submitted this change and it was merged. ( https://review.coreboot.org/19144 )

Change subject: util/lint: Don't run checkpatch on the documentation
......................................................................


util/lint: Don't run checkpatch on the documentation

Change-Id: Ib95a7c9c64c481af7dcf1074ffc0fc76dc6b6ff9
Signed-off-by: Martin Roth <gaumless at gmail.com>
Reviewed-on: https://review.coreboot.org/19144
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
Reviewed-by: Philippe Mathieu-Daudé <philippe.mathieu.daude at gmail.com>
Reviewed-by: Patrick Georgi <pgeorgi at google.com>
---
M util/lint/lint-007-checkpatch
1 file changed, 2 insertions(+), 1 deletion(-)

Approvals:
  Philippe Mathieu-Daudé: Looks good to me, but someone else must approve
  Paul Menzel: Looks good to me, but someone else must approve
  build bot (Jenkins): Verified
  Patrick Georgi: Looks good to me, approved



diff --git a/util/lint/lint-007-checkpatch b/util/lint/lint-007-checkpatch
index b4033e0..2e451cb 100755
--- a/util/lint/lint-007-checkpatch
+++ b/util/lint/lint-007-checkpatch
@@ -22,7 +22,8 @@
 EXCLUDED_DIRS="^payloads/libpayload/util/kconfig\|\
 ^payloads/libpayload/curses/PDCurses\|\
 ^util/kconfig\|\
-^src/vendorcode"
+^src/vendorcode\|\
+^Documentation"
 
 # Space separated list of directories to test
 if [ "$1" = "" ]; then

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib95a7c9c64c481af7dcf1074ffc0fc76dc6b6ff9
Gerrit-PatchSet: 2
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Owner: Martin Roth <martinroth at google.com>
Gerrit-Reviewer: Arthur Heymans <arthur at aheymans.xyz>
Gerrit-Reviewer: Martin Roth <martinroth at google.com>
Gerrit-Reviewer: Patrick Georgi <pgeorgi at google.com>
Gerrit-Reviewer: Paul Menzel <paulepanter at users.sourceforge.net>
Gerrit-Reviewer: Philipp Deppenwiese <zaolin.daisuki at gmail.com>
Gerrit-Reviewer: Philippe Mathieu-Daudé <philippe.mathieu.daude at gmail.com>
Gerrit-Reviewer: build bot (Jenkins)



More information about the coreboot-gerrit mailing list