diff options
| author | Martin Roth <martinroth@google.com> | 2016-01-25 16:45:14 -0700 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-01-30 17:29:04 +0100 |
| commit | ab2d777360e8105007eef2911db26fd23c1ead14 (patch) | |
| tree | 4ff0748595a396e7852819154311ba2cb799a619 /Documentation/Makefile | |
| parent | b58d349ca92b19869aaf9add81e83d37cad83a7a (diff) | |
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@google.com>
Reviewed-on: https://review.coreboot.org/13462
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'Documentation/Makefile')
0 files changed, 0 insertions, 0 deletions