diff options
author | Martin Roth <martinroth@google.com> | 2016-01-25 16:38:05 -0700 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-01-30 17:27:30 +0100 |
commit | 819e67242fa632f465f002396dc7adaec9418ab3 (patch) | |
tree | 124ffd040e752e5ac651cd86f1508e8ab4111059 /src/cpu/Makefile.inc | |
parent | 572a856b97b25e359c1468cf1b059210728b3762 (diff) |
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: I7fed8b9fa827cb14f7373e7b774acc56e43cb6ff
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/13459
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/cpu/Makefile.inc')
0 files changed, 0 insertions, 0 deletions