diff options
Diffstat (limited to 'scripts/checkversion.pl')
| -rwxr-xr-x | scripts/checkversion.pl | 1 | 
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/checkversion.pl b/scripts/checkversion.pl index b444e89a009..5e490a8ceca 100755 --- a/scripts/checkversion.pl +++ b/scripts/checkversion.pl @@ -12,6 +12,7 @@ $| = 1;  my $debugging;  foreach my $file (@ARGV) { +    next if $file =~ "include/linux/version\.h";      # Open this file.      open( my $f, '<', $file )        or die "Can't open $file: $!\n";  | 
