summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/lint/kconfig_lint6
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");
}
}