Bulletproof ci.py (#107)

suchmememanyskill · Jun 10, 2024 · d69446a · d69446a
1 parent 90fd1b0
commit d69446a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/ci.py b/ci.py
@@ -81,7 +81,10 @@ def add_configuration(board : str):
  add_configuration(port)
 
 os.chdir(BASE_DIR)
-shutil.copytree("./out", "./_site/out")
+out_dir = "./_site/out"
+if os.path.exists(out_dir):
+ shutil.rmtree(out_dir)
+shutil.copytree("./out", out_dir)
 
 with open("./_site/OTA.json", "w") as f:
  json.dump({"Configurations": configurations}, f)