diff options
author | Martin Roth <martinroth@google.com> | 2016-11-23 17:28:00 -0700 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-11-28 01:05:40 +0100 |
commit | ab273d3f16402a5a6827d12f4c68fa4d42d78ce6 (patch) | |
tree | 6e651ffd8d24775cc16e20177508105749a738c3 /util/vgabios/include | |
parent | e69c58d7c8dcb327b1d3d5208870e3655a1cd255 (diff) |
kconfig_lint: More updates for excluded files
- All of the symbols are in the .config, so if .config is include in
the search all of the symbols are always found.
- There are now some Kconfig symbols in the Documentation directory,
so that needs to be excluded.
- 3rdparty has lots of Kconfig symbols that are unrelated to what
is being searched for.
Change-Id: I0ff56d0a0916338a8b94f5210b8e0b3be5194f41
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/17588
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/vgabios/include')
0 files changed, 0 insertions, 0 deletions