diff options
Diffstat (limited to 'usr/include')
| -rwxr-xr-x | usr/include/headers_check.pl | 3 |
1 files changed, 1 insertions, 2 deletions
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 <linux/types.h>\n"; $linux_types = 2; - # Warn until headers are all fixed - #$ret = 1; + $ret = 1; } } |