diff options
author | Martin Roth <gaumless@gmail.com> | 2023-08-10 10:00:51 -0600 |
---|---|---|
committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2023-08-17 21:31:45 +0000 |
commit | 873ebf201fac31bfb76523906ffeadbbd54108d6 (patch) | |
tree | 681163e5d95ae279bf57bb6ce7b2447cb7ba3897 /src/mainboard/google/gale/Kconfig | |
parent | bd36a313dee74aea1681cd1c9265e3279deca03b (diff) |
util/lint/kconfig_lint: Exclude site-local directory by default
The site-local directory is not checked into the coreboot tree, so this
change excludes it by default. By adding the site-local directory,
an issue could be missed in the rest of the coreboot tree.
This change also adds a new command-line argument of -S or --site_local
that re-enables the site-local checking.
Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: I95efa3e7b2cbb84e5c84d263222d8e914626d314
Reviewed-on: https://review.coreboot.org/c/coreboot/+/77138
Reviewed-by: Matt DeVillier <matt.devillier@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Diffstat (limited to 'src/mainboard/google/gale/Kconfig')
0 files changed, 0 insertions, 0 deletions