Martin Roth
|
0ecbdde285
|
lint: rename lint-006-checkpatch because board name is lint-006
Checkpatch should be 007.
Change-Id: Ib71c50ad1a63a3a743391cd8fea9f79cd08ef6f3
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/12901
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
|
2016-01-12 22:32:16 +01:00 |
|