try to fix drazzy failure

2023-12-12 00:06:27 -05:00 · 2023-12-12 00:06:27 -05:00 · c56cc8c005
commit c56cc8c005
parent 665c3125b7
1 changed files with 3 additions and 0 deletions
--- a/build_platform.py
+++ b/build_platform.py
@ -131,6 +131,9 @@ def install_platform(fqbn, full_platform_name=None):
        if os.system("arduino-cli core install "+fqbn+" --additional-urls "+BSP_URLS+" > /dev/null") == 0:
            break
        print("...retrying...", end=" ")
+        if os.path.exists(".arduino15/package_drazzy.json"):
+            shutil.move(".arduino15/package_drazzy.json", ".arduino15/package_drazzy.com_index.json")
+
        time.sleep(10) # wait 10 seconds then try again?
    else:
        # tried 3 times to no avail