From 7e8c96896fae53c5c923665b1e6e50a0764da515 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 28 Feb 2022 07:21:46 +0530 Subject: [PATCH] Do a shutdown and rebuild --- publish.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/publish.py b/publish.py index 3b4f9dec9..b59e413a2 100755 --- a/publish.py +++ b/publish.py @@ -68,7 +68,9 @@ def run_build(args: Any) -> 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'):