diff --git a/scripts/headers_check.pl b/scripts/headers_check.pl index db30fac3083efd488596577743422adae9b0c6cc..56f90a480899dd7bef86b88725b5668160b5fcad 100644 --- a/scripts/headers_check.pl +++ b/scripts/headers_check.pl @@ -38,7 +38,7 @@ foreach my $file (@files) { &check_asm_types(); &check_sizetypes(); &check_prototypes(); - &check_config(); + # Dropped for now. Too much noise &check_config(); } close FH; }