diff options
| -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 \ |