diff --git a/ci.py b/ci.py index b60d48d..e738002 100644 --- 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)