From 0392517c53bbb8d9f73d649b8027a5039be69cb5 Mon Sep 17 00:00:00 2001
From: 0xFEEDC0DE64 <daniel@brunner.ninja>
Date: Thu, 29 Oct 2020 17:11:52 +0100
Subject: [PATCH] Now using gcc hosted on GitHub instead of brunner.ninja

---
 platformio.ini | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platformio.ini b/platformio.ini
index f09e92c..e0db5ad 100644
--- a/platformio.ini
+++ b/platformio.ini
@@ -14,7 +14,7 @@ board = esp32dev
 framework = arduino
 
 platform_packages =
-  toolchain-xtensa32 @ https://brunner.ninja/esp32_neuer_gcc_1.tar.gz
+  toolchain-xtensa32 @ https://github.com/0xFEEDC0DE64/esp32-platformio-gcc#v8.4.0
   framework-arduinoespressif32 @ https://github.com/espressif/arduino-esp32.git#idf-release/v4.0
 
 lib_deps =
@@ -28,7 +28,7 @@ build_unflags =
   -Os
 
 build_flags =
-  -std=gnu++17
+  -std=gnu++2a
   -O3
 ;  -Werror
   -Wall