From 4b9c1d8f2baa1e52bbe83bf59ed9b20257d0c927 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 6 May 2020 19:15:20 +0200
Subject: [PATCH] solo5: tolerate use of deprecated Xml_node API

This patch is an interim fix to allow building solo5 despite of the use
of deprecated parts of the Xml_node API.

Issue #3755
---
 repos/libports/lib/mk/solo5.mk | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/libports/lib/mk/solo5.mk b/repos/libports/lib/mk/solo5.mk
index 92fadf36b..ac84bba33 100644
--- a/repos/libports/lib/mk/solo5.mk
+++ b/repos/libports/lib/mk/solo5.mk
@@ -18,3 +18,6 @@ INC_DIR += $(SOLO5_PORT_DIR)/include/solo5
 INC_DIR += $(REP_DIR)/include/solo5
 
 vpath bindings.cc $(SOLO5_PORT_DIR)/src/lib/solo5/bindings/genode
+
+# ignore warning about use of deprecated Xml_node API
+CC_CXX_WARN_STRICT :=