[coreboot-gerrit] Patch merged into coreboot/master: util/lint/kconfig_lint: Check default types

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit fa95625867fa1f373e8c5d8ec160a65e50a3d5c2
Author: Martin Roth <martinroth at google.com>
Date:   Fri Sep 30 15:51:32 2016 -0600

    util/lint/kconfig_lint: Check default types
    
    The type of the default value wasn't being checked to make sure that it
    matched the type of the Kconfig symbol.
    
    This makes sure that the symbol is being set to either a reasonable
    looking value or to another Kconfig symbol.
    
    Change-Id: Ia01bd2d8b387f319d29f0a005d55cb8e20cd3853
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/16839
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit