summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--scripts/headers_check.pl6
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/headers_check.pl b/scripts/headers_check.pl
index b62c319611a2..db30fac3083e 100644
--- a/scripts/headers_check.pl
+++ b/scripts/headers_check.pl
@@ -78,6 +78,9 @@ sub check_config
my $linux_asm_types;
sub check_asm_types()
{
+ if ($filename =~ /types.h|int-l64.h|int-ll64.h/o) {
+ return;
+ }
if ($lineno == 1) {
$linux_asm_types = 0;
} elsif ($linux_asm_types >= 1) {
@@ -95,6 +98,9 @@ sub check_asm_types()
my $linux_types;
sub check_sizetypes
{
+ if ($filename =~ /types.h|int-l64.h|int-ll64.h/o) {
+ return;
+ }
if ($lineno == 1) {
$linux_types = 0;
} elsif ($linux_types >= 1) {