diff options
Diffstat (limited to 'usr')
| -rwxr-xr-x | usr/include/headers_check.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr/include/headers_check.pl b/usr/include/headers_check.pl index 36349b21cef5..21c2fb9520e6 100755 --- a/usr/include/headers_check.pl +++ b/usr/include/headers_check.pl @@ -74,6 +74,7 @@ sub check_declarations printf STDERR "$filename:$lineno: " . "userspace cannot reference function or " . "variable defined in the kernel\n"; + $ret = 1; } } |