scripts: headers_install: Turn CONFIG_* leak checker to report error

By default CONFIG_* user-space leak checker marks it as warning but
we should mark them as error so that we can catch such usage at the
compile time itself.

Change-Id: I5f14f7f881e46843f2e0cc0957fc0b730e76aa93
Signed-off-by: Trilok Soni <tsoni@codeaurora.org>
This commit is contained in:
Trilok Soni
2020-04-15 23:43:55 -07:00
parent d14b0a93fa
commit 240299db4d

View File

@@ -112,7 +112,8 @@ do
done
if [ "$warn" = 1 ]; then
echo "warning: $INFILE: leak $c to user-space" >&2
echo "error: $INFILE: leak $c to user-space" >&2
exit 1
fi
done