diff --git a/usr/include/headers_check.pl b/usr/include/headers_check.pl index 36307a137cc1..36349b21cef5 100755 --- a/usr/include/headers_check.pl +++ b/usr/include/headers_check.pl @@ -159,7 +159,6 @@ sub check_sizetypes "found __[us]{8,16,32,64} type " . "without #include \n"; $linux_types = 2; - # Warn until headers are all fixed - #$ret = 1; + $ret = 1; } }