[coreboot-gerrit] Patch merged into coreboot/master: kconfig_lint: More updates for excluded files

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit ab273d3f16402a5a6827d12f4c68fa4d42d78ce6
Author: Martin Roth <martinroth at google.com>
Date:   Wed Nov 23 17:28:00 2016 -0700

    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 at google.com>
    Reviewed-on: https://review.coreboot.org/17588
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit