aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/lint/kconfig_lint5
1 files changed, 3 insertions, 2 deletions
diff --git a/util/lint/kconfig_lint b/util/lint/kconfig_lint
index 107f01cdca..523fa3e9eb 100755
--- a/util/lint/kconfig_lint
+++ b/util/lint/kconfig_lint
@@ -291,8 +291,9 @@ sub check_config_macro {
show_error( "CONFIG($symbol) used at $file:$lineno."
. " CONFIG() is only valid for type 'bool', not '$symbols{$symbol}{type}'." );
}
- }
- else {
+ } elsif ($symbol =~ /\S+##\S+/ ) {
+ show_warning( "C preprocessor macro CONFIG_$symbol found at $file:$lineno." );
+ } else {
show_error("CONFIG() used on unknown value ($symbol) at $file:$lineno.");
}
}