Skip to content

Commit

Permalink
Extra safety for when we notice we shouldn't run
Browse files Browse the repository at this point in the history
  • Loading branch information
pushfoo committed Jan 19, 2025
1 parent 9137481 commit edd1fd9
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions util/sphinx_static_file_temp_fix.py
Original file line number Diff line number Diff line change
Expand Up @@ -107,6 +107,7 @@ def force_sync(src: Path, dest: Path, dry: bool = False) -> None:
def main():
if not ENABLE_DEVMACHINE_SPHINX_STATIC_FIX.exists():
log.info(f"SKIP: Force-sync found no {ENABLE_DEVMACHINE_SPHINX_STATIC_FIX} file!")
return
elif BUILD_HTML_DIR.exists():
log.info(f"SYNC: Force-sync enable file found")
for src, dest in force_copy_on_change.items():
Expand Down

0 comments on commit edd1fd9

Please sign in to comment.