[coreboot-gerrit] Patch merged into coreboot/master: kconfig_lint: merge 'git grep' and 'grep' exclude dir and files

[gerrit at coreboot.org]

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

    kconfig_lint: merge 'git grep' and 'grep' exclude dir and files
    
    The code had originally been using standard grep to look through the
    coreboot tree for Kconfig symbols.  When this was switched to git grep,
    the --exclude-dir options didn't work, and nothing was added to exclude
    the directories that shouldn't be searched for symbols.  This resulted
    in invalid warnings as it searched directories that had Kconfig symbols
    for other projects.
    
    This merges the exclusion list for both the regular and git versions
    of grep for consistent behavior.
    
    Change-Id: I69a1e0b30fecca152e02a511c82248b6091b3d8b
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/13456
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit