build/kernel: add INVARIANTS to debug kernel

This commit is contained in:
Franco Fichtner 2023-04-19 10:26:47 +02:00
parent 495adc7da0
commit ea3fc219be
1 changed files with 1 additions and 1 deletions

View File

@ -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