From a57ec384ff48876b5d6e1112d0dbbb346f10ca34 Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Tue, 28 Jan 2025 13:46:06 +0100
Subject: [PATCH] Use -O3 for compiling nic_router.

---
 repos/os/src/server/nic_router/target.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/os/src/server/nic_router/target.mk b/repos/os/src/server/nic_router/target.mk
index 3c41f52089..acb1281def 100644
--- a/repos/os/src/server/nic_router/target.mk
+++ b/repos/os/src/server/nic_router/target.mk
@@ -30,6 +30,8 @@ SRC_CC += \
 
 INC_DIR += $(PRG_DIR)
 
+CC_OLEVEL = -O3
+
 CONFIG_XSD = config.xsd
 
 CC_CXX_WARN_STRICT_CONVERSION =