From ea3fc219be442e52a739fafbf66dc4691db01e01 Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Wed, 19 Apr 2023 10:26:47 +0200 Subject: [PATCH] build/kernel: add INVARIANTS to debug kernel --- build/kernel.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/kernel.sh b/build/kernel.sh index eaeb8ac..de6494b 100644 --- a/build/kernel.sh +++ b/build/kernel.sh @@ -48,7 +48,7 @@ KERNDEBUG="nomakeoptions DEBUG" SRCDEBUG="WITHOUT_DEBUG_FILES=yes" if [ -n "${PRODUCT_DEBUG}" ]; then - KERNDEBUG="makeoptions DEBUG=-g" + KERNDEBUG="makeoptions DEBUG=-g\noptions INVARIANTS\noptions INVARIANT_SUPPORT" SRCDEBUG= fi