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

Issue #4827 Fixes #4873
genodelabs · May 16, 2023 · 206b85f · 206b85f
1 parent e689cde
commit 206b85f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git 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

diff --git 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
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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