diff options
Diffstat (limited to 'Tools/wasm/emscripten')
| -rw-r--r-- | Tools/wasm/emscripten/.editorconfig | 8 | ||||
| -rw-r--r-- | Tools/wasm/emscripten/__main__.py | 3 |
2 files changed, 10 insertions, 1 deletions
diff --git a/Tools/wasm/emscripten/.editorconfig b/Tools/wasm/emscripten/.editorconfig new file mode 100644 index 00000000000..4de5fe5954d --- /dev/null +++ b/Tools/wasm/emscripten/.editorconfig @@ -0,0 +1,8 @@ +# This extends the root .editorconfig +root = false + +[*.{html,js}] +trim_trailing_whitespace = true +insert_final_newline = true +indent_style = space +indent_size = 4 diff --git a/Tools/wasm/emscripten/__main__.py b/Tools/wasm/emscripten/__main__.py index 849bd5de44e..c0d58aeaadd 100644 --- a/Tools/wasm/emscripten/__main__.py +++ b/Tools/wasm/emscripten/__main__.py @@ -167,11 +167,12 @@ def make_build_python(context, working_dir): @subdir(HOST_BUILD_DIR, clean_ok=True) def make_emscripten_libffi(context, working_dir): shutil.rmtree(working_dir / "libffi-3.4.6", ignore_errors=True) - with tempfile.NamedTemporaryFile(suffix=".tar.gz") as tmp_file: + with tempfile.NamedTemporaryFile(suffix=".tar.gz", delete_on_close=False) as tmp_file: with urlopen( "https://github.com/libffi/libffi/releases/download/v3.4.6/libffi-3.4.6.tar.gz" ) as response: shutil.copyfileobj(response, tmp_file) + tmp_file.close() shutil.unpack_archive(tmp_file.name, working_dir) call( [EMSCRIPTEN_DIR / "make_libffi.sh"], |