[coreboot-gerrit] Patch merged into coreboot/master: kconfig_lint: Skip temp files when looking for unused Kconfig files.

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit ab2d777360e8105007eef2911db26fd23c1ead14
Author: Martin Roth <martinroth at google.com>
Date:   Mon Jan 25 16:45:14 2016 -0700

    kconfig_lint: Skip temp files when looking for unused Kconfig files.
    
    Don't warn on Kconfig.orig and Kconfig~ files when trying to verify
    that all the Kconfig files in the coreboot source tree are being loaded.
    
    Change-Id: Ie7babe60b29735e5ccc5f93f4e42ad82dfb47044
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/13462
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit