[PATCH v2 6/8] Makefile: define OPENSBI_DEBUG if DEBUG builds

Bo Gan ganboing at gmail.com
Fri Jun 5 04:32:12 PDT 2026


Signed-off-by: Bo Gan <ganboing at gmail.com>
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 46541063..6ce3c11e 100644
--- a/Makefile
+++ b/Makefile
@@ -451,6 +451,7 @@ DTSCPPFLAGS	=	$(CPPFLAGS) -nostdinc -nostdlib -fno-builtin -D__DTS__ -x assemble
 
 ifneq ($(DEBUG),)
 CFLAGS		+=	-O0
+CPPFLAGS	+=	-DOPENSBI_DEBUG
 else
 CFLAGS		+=	-O2
 endif
-- 
2.34.1




More information about the opensbi mailing list