diff options
Diffstat (limited to 'util/lint')
| -rwxr-xr-x | util/lint/kconfig_lint | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/util/lint/kconfig_lint b/util/lint/kconfig_lint index 93843367ff..8bdca8d09b 100755 --- a/util/lint/kconfig_lint +++ b/util/lint/kconfig_lint @@ -949,6 +949,10 @@ sub handle_type { my $expression; ( $type, $expression ) = handle_if_line( $type, $inside_config, $filename, $line_no ); + if ( $type =~ /tristate/ ) { + show_warning("$filename:$line_no - tristate types are not used."); + } + if ($inside_config) { if ( exists( $symbols{$inside_config}{type} ) ) { if ( $symbols{$inside_config}{type} !~ /$type/ ) { |