From 8f2212ea1ed6b2e6e9ea2c687640e926ff363bb8 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 15 Feb 2019 14:48:59 +0100
Subject: [PATCH] nova: disable -Wsuggest-override for the kernel

Issue #3159
---
 repos/base-nova/src/kernel/nova/target.mk | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/base-nova/src/kernel/nova/target.mk b/repos/base-nova/src/kernel/nova/target.mk
index 7bb27c1cd5..4bc5cc7449 100644
--- a/repos/base-nova/src/kernel/nova/target.mk
+++ b/repos/base-nova/src/kernel/nova/target.mk
@@ -39,6 +39,9 @@ $(error Unsupported environment)
 endif
 endif
 
+# disable -Wsuggest-override
+CC_CXX_WARN_STRICT = -Wextra -Weffc++ -Werror
+
 git_version      = $(shell cd $(NOVA_SRC_DIR) && (git rev-parse HEAD 2>/dev/null || echo 0) | cut -c1-7)
 CXX_LINK_OPT     = -Wl,--gc-sections -Wl,--warn-common -Wl,-static -Wl,-n -Wl,--defsym=GIT_VER=0x$(call git_version)
 LD_TEXT_ADDR     = # 0xc000000000 - when setting this 64bit compile fails because of relocation issues!!