Update emsdk patch

master
paradust7 2022-11-11 03:04:05 +00:00
parent 3c6ebfeb95
commit e8f754e1c5
1 changed files with 7 additions and 7 deletions

View File

@ -1,12 +1,12 @@
diff -urN emsdk-pure/upstream/emscripten/emcc.py emsdk/upstream/emscripten/emcc.py
--- emsdk-pure/upstream/emscripten/emcc.py 2022-08-02 14:52:59.442877733 +0000
+++ emsdk/upstream/emscripten/emcc.py 2022-08-02 14:52:18.131057940 +0000
@@ -624,6 +624,8 @@
cmd = config.JS_ENGINE
diff -urN emsdk/upstream/emscripten/emcc.py emsdk-fixed/upstream/emscripten/emcc.py
--- emsdk/upstream/emscripten/emcc.py 2022-11-07 20:04:28.000000000 +0000
+++ emsdk-fixed/upstream/emscripten/emcc.py 2022-11-11 02:48:00.766940527 +0000
@@ -632,6 +632,8 @@
cmd = config.JS_ENGINES[0]
if settings.WASM_BIGINT:
cmd.append('--experimental-wasm-bigint')
cmd += shared.node_bigint_flags()
+ if settings.USE_PTHREADS:
+ cmd.append('--experimental-wasm-threads')
cmd = shared.shlex_join(cmd)
if not os.path.isabs(config.JS_ENGINE[0]):
if not os.path.isabs(cmd[0]):
# TODO: use whereis etc. And how about non-*NIX?