From 4961ee293db0637a613106877f5e1aa39b725da2 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 15 May 2023 14:29:26 +0200
Subject: [PATCH] Enable -std=gnu++20 by default

Issue #4827
---
 repos/base/mk/global.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/mk/global.mk b/repos/base/mk/global.mk
index 75cfaff415..4bf5f6943d 100644
--- a/repos/base/mk/global.mk
+++ b/repos/base/mk/global.mk
@@ -195,7 +195,7 @@ CC_ADA_OPT += $(filter-out -fno-builtin-cos -fno-builtin-sin \
 # We substitute '.' characters by '_' to allow a source-file-specific
 # C++ standard option for files with more than one dot in their name.
 #
-CC_CXX_OPT_STD ?= -std=gnu++17
+CC_CXX_OPT_STD ?= -std=gnu++20
 CC_CXX_OPT += $(lastword $(CC_CXX_OPT_STD) $(CC_CXX_OPT_STD_$(subst .,_,$*)))
 
 #