From db4ed360511c2f09eb10e3554ede75fcf2f0f4c4 Mon Sep 17 00:00:00 2001 From: Mark Date: Fri, 7 Feb 2020 17:07:08 +0200 Subject: [PATCH] Configurable optimization level --- etc/make/conf.mk | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/etc/make/conf.mk b/etc/make/conf.mk index 632eb25..687e66d 100644 --- a/etc/make/conf.mk +++ b/etc/make/conf.mk @@ -6,6 +6,8 @@ ifeq ($(AMD64_SMP),1) KERNEL_VERSION_STR+= +SMP endif +OPTIMIZE?=g + CFLAGS+=-Wall \ -Wextra \ -Werror \ @@ -14,7 +16,7 @@ CFLAGS+=-Wall \ -Wno-unused-variable \ -Wno-language-extension-token \ -Wno-gnu-zero-variadic-macro-arguments \ - -O2 \ + -O$(OPTIMIZE) \ -ggdb ifdef KERNEL_TEST_MODE