coreboot-kgpe-d16/util/lint
Martin Roth b7c39b2bc1 util/lint/kconfig_lint: Add 3 new checks
- Check that selected symbols are type bool
- Check that selected symbols aren't created inside a choice
- Check that symbols created inside a choice aren't created
outside of a choice as well.

Change-Id: I08963d637f8bdfb2413cfe831eafdc974d7674ab
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/12969
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
2016-01-18 01:50:09 +01:00
..
checkpatch.pl checkpatch: fine tune checks 2015-05-08 21:19:35 +02:00
kconfig_lint util/lint/kconfig_lint: Add 3 new checks 2016-01-18 01:50:09 +01:00
lint lint: properly terminate junit report on error 2015-11-19 16:13:50 +01:00
lint-000-license-headers tree: drop last paragraph of GPL copyright header 2015-10-31 21:37:39 +01:00
lint-001-no-global-config-in-romstage tree: drop last paragraph of GPL copyright header 2015-10-31 21:37:39 +01:00
lint-007-checkpatch lint: rename lint-006-checkpatch because board name is lint-006 2016-01-12 22:32:16 +01:00
lint-008-kconfig util/lint: Add lint script to run kconfig_lint 2016-01-12 22:33:12 +01:00
lint-stable-003-whitespace tree: drop last paragraph of GPL copyright header 2015-10-31 21:37:39 +01:00
lint-stable-004-style-labels tree: drop last paragraph of GPL copyright header 2015-10-31 21:37:39 +01:00
lint-stable-005-board-status tree: drop last paragraph of GPL copyright header 2015-10-31 21:37:39 +01:00
lint-stable-006-board-name lint: Add check for new board name scheme 2015-04-18 08:31:36 +02:00
lint-stable-009-old-licenses util/lint: Add linter for files with the old license header 2016-01-15 04:58:16 +01:00
remccoms3.sed Remove whitespace. 2012-02-17 19:04:31 +01:00
spelling.txt Add Linux kernel's checkpatch.pl script 2015-02-11 19:53:53 +01:00