From 487162a53de0f96d8d53259d3fe800f0ff09dece Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 6 Oct 2017 16:21:28 +0200
Subject: [PATCH] base-nova: enforce building kernel with -Os

Issue #1248
---
 repos/base-nova/src/kernel/nova/target.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-nova/src/kernel/nova/target.mk b/repos/base-nova/src/kernel/nova/target.mk
index 2e962047fe..cfe96b2493 100644
--- a/repos/base-nova/src/kernel/nova/target.mk
+++ b/repos/base-nova/src/kernel/nova/target.mk
@@ -7,7 +7,7 @@ NOVA_SRC_DIR     = $(call select_from_ports,nova)/src/kernel/nova
 SRC_CC           = $(sort $(notdir $(wildcard $(NOVA_SRC_DIR)/src/*.cpp)))
 SRC_S            = $(sort $(notdir $(wildcard $(NOVA_SRC_DIR)/src/*.S)))
 INC_DIR          = $(NOVA_SRC_DIR)/include
-CC_OLEVEL        = -Os
+override CC_OLEVEL := -Os
 CC_WARN          = -Wall -Wextra -Waggregate-return -Wcast-align -Wcast-qual \
                    -Wconversion -Wdisabled-optimization -Wformat=2 \
                    -Wmissing-format-attribute -Wmissing-noreturn -Wpacked \