gdb_monitor: force build with -std=gnu++17

Issue #4827 Fixes #4873
2024-12-21 22:47:50 +00:00 · 2023-05-16 15:58:02 +02:00 · 2023-05-16 15:58:02 +02:00 · b60190a73c
commit b60190a73c
parent f5477dc53b
2 changed files with 3 additions and 0 deletions
--- a/repos/ports/lib/mk/gdbserver_platform.inc
+++ b/repos/ports/lib/mk/gdbserver_platform.inc
@ -20,6 +20,8 @@ CC_OPT_gdbserver_platform_helper += -fpermissive
 CC_OPT += -DGDBSERVER
 CC_OPT += -DHAVE_DECL_PTRACE -DHAVE_SYS_PTRACE_H

+CC_CXX_OPT_STD = -std=gnu++17
+
 LIBS += stdcxx libc

 vpath %.cc $(REP_DIR)/src/lib/gdbserver_platform
--- a/repos/ports/src/app/gdb_monitor/target.mk
+++ b/repos/ports/src/app/gdb_monitor/target.mk
@ -132,3 +132,4 @@ genode-low.o sandbox/server.o: $(SANDBOX_HEADERS)
 	ln -sf $< $@

 CC_CXX_WARN_STRICT =
+CC_CXX_OPT_STD = -std=gnu++17