51 lines
1.3 KiB
Diff
51 lines
1.3 KiB
Diff
From a31570ad60c63cda38d59849d7b27243268306fd Mon Sep 17 00:00:00 2001
|
|
From: Igor Pecovnik <igor.pecovnik@gmail.com>
|
|
Date: Mon, 31 Aug 2020 20:26:18 +0200
|
|
Subject: [PATCH] Reverting headers install patch
|
|
|
|
Signed-off-by: Igor Pecovnik <igor.pecovnik@gmail.com>
|
|
---
|
|
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
|
|
|