[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