[coreboot-gerrit] Patch merged into coreboot/master: lint/kconfig_lint: Make sure all symbols have a type defined

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 08705f1e904288607df87eb7627178613066bd99
Author: Martin Roth <martinroth at google.com>
Date:   Wed Nov 9 14:27:00 2016 -0700

    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 at google.com>
    Reviewed-on: https://review.coreboot.org/17345
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Philipp Deppenwiese <zaolin.daisuki at googlemail.com>
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


See https://review.coreboot.org/17345 for details.

-gerrit