From 7e6d1244b371ec1f59b83352b112af2f1b4d971b Mon Sep 17 00:00:00 2001
From: Maximilian Gerhardt <maximilian.gerhardt@rub.de>
Date: Wed, 28 Jun 2023 12:13:25 +0200
Subject: [PATCH] Add extra script reference

---
 platformio.ini | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/platformio.ini b/platformio.ini
index 08f37a1..2da7e04 100644
--- a/platformio.ini
+++ b/platformio.ini
@@ -15,7 +15,9 @@ extends = fun_base
 ; for examples that use ch32v003fun as their base
 [fun_base]
 board_build.ldscript = ch32v003fun/ch32v003fun.ld
-build_flags = -flto -Ich32v003fun -I/usr/include/newlib -lgcc -Iextralibs -I"examples/$PIOENV"
+build_flags = -flto -Ich32v003fun -I/usr/include/newlib -lgcc -Iextralibs
+; dynamically add "examples/$PIOENV" to the include path
+extra_scripts = add_include.py
 build_src_filter = +<ch32v003fun>
 extra_libs_srcs = +<extralibs>
 
-- 
GitLab