Merge pull request #39168 from madmiraal/fix-javascript-ci

Activate emscripten with no-embedded option.
This commit is contained in:
Rémi Verschelde 2020-05-30 14:39:04 +02:00 committed by GitHub
commit 240032ade7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -128,7 +128,7 @@ install:
- if [ "$PLATFORM" = "javascript" ]; then - if [ "$PLATFORM" = "javascript" ]; then
git clone --depth 1 "https://github.com/emscripten-core/emsdk.git"; git clone --depth 1 "https://github.com/emscripten-core/emsdk.git";
./emsdk/emsdk install latest; ./emsdk/emsdk install latest;
./emsdk/emsdk activate latest; ./emsdk/emsdk activate --no-embedded latest;
fi fi
- if [ "$STATIC_CHECKS" = "yes" ]; then - if [ "$STATIC_CHECKS" = "yes" ]; then
unset SCONS_CACHE; unset SCONS_CACHE;