From 6af3899bcbcac8785feeab778912642137b2404a Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 6 May 2019 18:03:35 +0200
Subject: [PATCH] Enable C++17 by default

Issue #3307
---
 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 7455cb90da..2c2fbc44fa 100644
--- a/repos/base/mk/global.mk
+++ b/repos/base/mk/global.mk
@@ -184,7 +184,7 @@ CC_RUSTC_OPT += $(foreach lib,$(LIBS),-L$(LIB_CACHE_DIR)/$(lib))
 # 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++11
+CC_CXX_OPT_STD ?= -std=gnu++17
 CC_CXX_OPT += $(lastword $(CC_CXX_OPT_STD) $(CC_CXX_OPT_STD_$(subst .,_,$*)))
 
 #