diff options
| author | Thomas Weißschuh <thomas.weissschuh@linutronix.de> | 2026-01-14 08:28:17 +0100 |
|---|---|---|
| committer | Arnd Bergmann <arnd@arndb.de> | 2026-01-30 16:46:17 +0100 |
| commit | adbbd9714f8058730f93c8df5c5bf1679456424b (patch) | |
| tree | ac62006fc8fe318c96d06952d6c98ab550591c0b /scripts | |
| parent | e356da60144bcd06bf2880999f67a6415a7499d5 (diff) | |
scripts: headers_install.sh: Remove config leak ignore machinery
There are no entries left to ignore and none should be added again.
Remove the now unused logic.
Signed-off-by: Thomas Weißschuh <thomas.weissschuh@linutronix.de>
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/headers_install.sh | 24 |
1 files changed, 2 insertions, 22 deletions
diff --git a/scripts/headers_install.sh b/scripts/headers_install.sh index 1301ba68d772..9c15e748761c 100755 --- a/scripts/headers_install.sh +++ b/scripts/headers_install.sh @@ -64,30 +64,10 @@ configs=$(sed -e ' d ' $OUTFILE) -# The entries in the following list do not result in an error. -# Please do not add a new entry. This list is only for existing ones. -# The list will be reduced gradually, and deleted eventually. (hopefully) -# -# The format is <file-name>:<CONFIG-option> in each line. -config_leak_ignores=" -" - for c in $configs do - leak_error=1 - - for ignore in $config_leak_ignores - do - if echo "$INFILE:$c" | grep -q "$ignore$"; then - leak_error= - break - fi - done - - if [ "$leak_error" = 1 ]; then - echo "error: $INFILE: leak $c to user-space" >&2 - exit 1 - fi + echo "error: $INFILE: leak $c to user-space" >&2 + exit 1 done rm -f $TMPFILE |