[coreboot-gerrit] Patch merged into coreboot/master: util/lint: Add lint script to run kconfig_lint
gerrit at coreboot.org
gerrit at coreboot.org
Tue Jan 12 22:33:27 CET 2016
the following patch was just integrated into master:
commit daa9e12bc536b9d830de276934171ef1ce921e3f
Author: Martin Roth <martinroth at google.com>
Date: Mon Jan 11 14:35:24 2016 -0700
util/lint: Add lint script to run kconfig_lint
The lint target in the makefile relies there being a script using
this particular naming format, so add a shell script front end to
run the kconfig linter.
Change-Id: I029c1cd3bbf3837c9f1d86c391ae5cabfa53685d
Signed-off-by: Martin Roth <martinroth at google.com>
Reviewed-on: https://review.coreboot.org/12903
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi at google.com>
See https://review.coreboot.org/12903 for details.
-gerrit
More information about the coreboot-gerrit
mailing list