diff options
author | Martin Roth <martinroth@google.com> | 2016-11-09 14:27:00 -0700 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-12-12 18:07:51 +0100 |
commit | 08705f1e904288607df87eb7627178613066bd99 (patch) | |
tree | 9623c79fd393d600127c42fae79c2b4e5b9c52c8 /util/lint/lint-015-final-newlines | |
parent | 1c9c4b8db8ee791d124638b7381e85bf4298f0f5 (diff) | |
download | coreboot-08705f1e904288607df87eb7627178613066bd99.tar.xz |
lint/kconfig_lint: Make sure all symbols have a type defined
Show an error if a symbol does not have a defined type.
This caused a problem of an undefined symbol in check_defaults, so
we just skip those symbols there as we can't verify the default pattern
without knowing the type.
Change-Id: I28711a77962e16f6fc89789400363edd0fdd0931
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/17345
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@googlemail.com>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint/lint-015-final-newlines')
0 files changed, 0 insertions, 0 deletions