diff options
author | Zoltan Varga <vargaz@gmail.com> | 2020-05-05 18:06:38 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-05 18:06:38 +0300 |
commit | cff010202b21c6ab04c56306c5ac98b554811aeb (patch) | |
tree | cb362e9dbb3508c87ece44550efedffab205a332 /scripts | |
parent | e911de2a8b171ce7967a5ec5873350d5a89676e9 (diff) |
[wasm] Delete an emscripten patch which is no longer needed. (#19705)
* [wasm] Delete an emscripten patch which is no longer needed.
* [wasm] Disable the dynamic runtime build, it has no usage.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/ci/run-jenkins.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/ci/run-jenkins.sh b/scripts/ci/run-jenkins.sh index c5e12b74be5..79ed6e8a469 100755 --- a/scripts/ci/run-jenkins.sh +++ b/scripts/ci/run-jenkins.sh @@ -322,7 +322,7 @@ if [[ ${CI_TAGS} == *'webassembly'* ]] || [[ ${CI_TAGS} == *'wasm'* ]]; if [[ ${CI_TAGS} != *'osx-amd64'* ]]; then echo "ENABLE_WINDOWS=1" >> sdks/Make.config - echo "ENABLE_WASM_DYNAMIC_RUNTIME=1" >> sdks/Make.config + #echo "ENABLE_WASM_DYNAMIC_RUNTIME=1" >> sdks/Make.config fi if [[ ${CI_TAGS} == *'cxx'* ]]; then @@ -358,7 +358,7 @@ if [[ ${CI_TAGS} == *'webassembly'* ]] || [[ ${CI_TAGS} == *'wasm'* ]]; ${TESTCMD} --label=debugger --timeout=20m $gnumake -C sdks/wasm run-debugger-tests ${TESTCMD} --label=browser --timeout=20m $gnumake -C sdks/wasm run-browser-tests ${TESTCMD} --label=browser-threads --timeout=20m $gnumake -C sdks/wasm run-browser-threads-tests - ${TESTCMD} --label=browser-dynamic --timeout=20m $gnumake -C sdks/wasm run-browser-dynamic-tests + #${TESTCMD} --label=browser-dynamic --timeout=20m $gnumake -C sdks/wasm run-browser-dynamic-tests if [[ ${CI_TAGS} == *'osx-amd64'* ]]; then ${TESTCMD} --label=browser-safari --timeout=20m $gnumake -C sdks/wasm run-browser-safari-tests fi |