ensure that the generated dir is included in libs

2023-11-02 20:57:11 +01:00 · 2023-11-02 20:57:11 +01:00 · f3c682422f
parent f266d3b3db
commit f3c682422f
1 changed files with 4 additions and 0 deletions
--- 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"]