diff options
| author | Arthur Heymans <arthur@aheymans.xyz> | 2023-04-05 15:47:50 +0200 |
|---|---|---|
| committer | Lean Sheng Tan <sheng.tan@9elements.com> | 2023-04-06 15:11:44 +0000 |
| commit | 5196aacb98cf36cd1849991a9f9ebe93b53d9b79 (patch) | |
| tree | e1f9cd6cde087bb91de0069fa75a56a7db878133 /util/lint/lint-stable-017-configs | |
| parent | e714fc00f3e914eecbf66991b60c97c5876582b6 (diff) | |
util/lint/stable-017: Update full config pattern matching
CONFIG_ARCH gives false positives for CONFIG_ARCH_X86_64_PGTBL_LOC so
use a different string: 'CONFIG_MAINBOARD_DIR'.
Change-Id: Ie5d4fc4693bc303afb16884c53c9ca4d1778a5cb
Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/74220
Reviewed-by: Lean Sheng Tan <sheng.tan@9elements.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Maximilian Brune <maximilian.brune@9elements.com>
Diffstat (limited to 'util/lint/lint-stable-017-configs')
| -rwxr-xr-x | util/lint/lint-stable-017-configs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint-stable-017-configs b/util/lint/lint-stable-017-configs index 3f92f53b3c..5be744570a 100755 --- a/util/lint/lint-stable-017-configs +++ b/util/lint/lint-stable-017-configs @@ -12,7 +12,7 @@ LINTDIR="$( # shellcheck source=helper_functions.sh . "${LINTDIR}/helper_functions.sh" -SYMBOLS='CONFIG_ARCH_\|CONFIG_MAINBOARD_HAS_' +SYMBOLS='CONFIG_MAINBOARD_DIR\|CONFIG_MAINBOARD_HAS_' #look for a couple of things that should only be set by select keywords for file in \ |