From 240299db4dfaf077f8f8a7cb024351e49fa375aa Mon Sep 17 00:00:00 2001 From: Trilok Soni Date: Wed, 15 Apr 2020 23:43:55 -0700 Subject: [PATCH] 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 --- scripts/headers_install.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/headers_install.sh b/scripts/headers_install.sh index 89ea358cc2c5..176693f31188 100755 --- a/scripts/headers_install.sh +++ b/scripts/headers_install.sh @@ -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