diff options
| -rwxr-xr-x | util/lint/kconfig_lint | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/util/lint/kconfig_lint b/util/lint/kconfig_lint index 2fbaf97f5c..bec86e4be8 100755 --- a/util/lint/kconfig_lint +++ b/util/lint/kconfig_lint @@ -1168,7 +1168,11 @@ sub print_wholeconfig { #------------------------------------------------------------------------------- sub check_if_file_referenced { my $filename = $File::Find::name; - if ( ( $filename =~ /Kconfig/ ) && ( !exists $loaded_files{$filename} ) ) { + if ( ( $filename =~ /Kconfig/ ) + && ( !$filename =~ /\.orig$/ ) + && ( !$filename =~ /~$/ ) + && ( !exists $loaded_files{$filename} ) ) + { show_warning("'$filename' is never referenced"); } } |