diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/ci/run-jenkins.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/ci/run-jenkins.sh b/scripts/ci/run-jenkins.sh index 6323603cbaa..e2e71f06f4b 100755 --- a/scripts/ci/run-jenkins.sh +++ b/scripts/ci/run-jenkins.sh @@ -177,6 +177,7 @@ if [[ ${CI_TAGS} == *'webassembly'* ]]; echo "DISABLE_ANDROID=1" > sdks/Make.config echo "DISABLE_IOS=1" >> sdks/Make.config echo "DISABLE_DESKTOP=1" >> sdks/Make.config + echo "ENABLE_WASM_CROSS=1" >> sdks/Make.config if [[ ${CI_TAGS} == *'cxx'* ]]; then echo "ENABLE_CXX=1" >> sdks/Make.config fi |