diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-21 11:07:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-21 11:07:23 +0200 |
| commit | fa3ac7deaeb61c46327dbb1c1be18bd805c46886 (patch) | |
| tree | 58e00c77bdf20f9f6472d0176619d77b7e4d4cbf | |
| parent | 15a97679bb9b334428cc893638b4d906774f8cf4 (diff) | |
| parent | ca325856cfb212d7920f1e26e4ff66f20575c180 (diff) | |
Merge pull request #40563 from akien-mga/travis-pin-emscripten-1.39.19
Travis: Pin Emscripten version to 1.39.19
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 2ade6a1a12..12afc7f48d 100644 --- a/.travis.yml +++ b/.travis.yml @@ -67,7 +67,7 @@ install: misc/ci/android-tools-linux.sh; fi - if [ "$PLATFORM" = "javascript" ]; then - git clone --depth 1 "https://github.com/emscripten-core/emsdk.git"; + git clone --depth 1 --branch 1.39.19 https://github.com/emscripten-core/emsdk; ./emsdk/emsdk install latest; ./emsdk/emsdk activate --no-embedded latest; fi |