From c940484f43532ddf2c5471d3035837b3accf6aaf Mon Sep 17 00:00:00 2001 From: Julian Smith Date: Tue, 25 Jun 2024 10:57:26 +0100 Subject: [PATCH] scripts/gh_release.py: avoid pyodide build problem with old .pyodide-xbuildenv/ dir. --- scripts/gh_release.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/scripts/gh_release.py b/scripts/gh_release.py index e6edc872c..f3593fa4b 100755 --- a/scripts/gh_release.py +++ b/scripts/gh_release.py @@ -563,8 +563,11 @@ def pyodide_setup(clean=False): # Clone emsdk. # dir_emsdk = 'emsdk' - if clean and os.path.exists(dir_emsdk): - shutil.rmtree( dir_emsdk, ignore_errors=1) + if clean: + shutil.rmtree(dir_emsdk, ignore_errors=1) + # 2024-06-25: old `.pyodide-xbuildenv` directory was breaking build, so + # important to remove it here. + shutil.rmtree('.pyodide-xbuildenv', ignore_errors=1) if not os.path.exists(dir_emsdk): command += f' && echo "### cloning emsdk.git"' command += f' && git clone https://github.com/emscripten-core/emsdk.git {dir_emsdk}'