From f3c682422f5522ca5072795fd6269503b480ea4c Mon Sep 17 00:00:00 2001
From: andreas <andreas@wellenvogel.de>
Date: Thu, 2 Nov 2023 20:57:11 +0100
Subject: [PATCH] ensure that the generated dir is included in libs

---
 extra_script.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/extra_script.py b/extra_script.py
index ce6e89eb..c5ba779b 100644
--- a/extra_script.py
+++ b/extra_script.py
@@ -311,6 +311,10 @@ def getLibs():
         fn=os.path.join(base,sd)
         if os.path.isdir(fn):
             rt.append(sd)
+    EXTRAS=['generated']
+    for e in EXTRAS:
+        if not e in rt:
+            rt.append(e)
     return rt
 
 OWNLIBS=getLibs()+["FS","WiFi"]