Do a shutdown and rebuild

2022-02-28 07:21:46 +05:30 · 2022-02-28 07:21:46 +05:30 · 7e8c96896f
commit 7e8c96896f
parent 2619db0e58
1 changed files with 3 additions and 1 deletions
--- a/publish.py
+++ b/publish.py
@ -68,7 +68,9 @@ def run_with_retry(cmd: str) -> None:
            if not needs_retry:
                raise
            print('Build failed, retrying in a few seconds...', file=sys.stderr)
-            time.sleep(15)
+            if 'macos' in cmd:
+                call('python ../bypy macos shutdown')
+            time.sleep(25)
            call(cmd, echo=True)

    for x in ('64', '32', 'arm64'):