From a31570ad60c63cda38d59849d7b27243268306fd Mon Sep 17 00:00:00 2001 From: Igor Pecovnik Date: Mon, 31 Aug 2020 20:26:18 +0200 Subject: [PATCH] Reverting headers install patch Signed-off-by: Igor Pecovnik --- scripts/headers_install.sh | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/scripts/headers_install.sh b/scripts/headers_install.sh index 94a833597..a07668a5c 100755 --- a/scripts/headers_install.sh +++ b/scripts/headers_install.sh @@ -64,7 +64,7 @@ configs=$(sed -e ' d ' $OUTFILE) -# The entries in the following list do not result in an error. +# The entries in the following list are not warned. # Please do not add a new entry. This list is only for existing ones. # The list will be reduced gradually, and deleted eventually. (hopefully) # @@ -98,19 +98,18 @@ include/uapi/linux/raw.h:CONFIG_MAX_RAW_DEVS for c in $configs do - leak_error=1 + warn=1 for ignore in $config_leak_ignores do if echo "$INFILE:$c" | grep -q "$ignore$"; then - leak_error= + warn= break fi done - if [ "$leak_error" = 1 ]; then - echo "error: $INFILE: leak $c to user-space" >&2 - exit 1 + if [ "$warn" = 1 ]; then + echo "warning: $INFILE: leak $c to user-space" >&2 fi done -- Created with Armbian build tools https://github.com/armbian/build