From a5a5a90e2fafdc0719c40db6c459ad3aceabcf94 Mon Sep 17 00:00:00 2001
From: Thomas Lively <tlively@google.com>
Date: Mon, 19 Aug 2019 11:49:50 -0700
Subject: [PATCH] Update emscripten version
---
ci/emscripten.sh | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/ci/emscripten.sh b/ci/emscripten.sh
index db313232..5dafb7bc 100644
--- a/ci/emscripten.sh
+++ b/ci/emscripten.sh
@@ -34,8 +34,8 @@ curl --retry 5 -L https://s3.amazonaws.com/mozilla-games/emscripten/releases/ems
cd /emsdk-portable
./emsdk update
-hide_output ./emsdk install sdk-1.38.15-64bit
-./emsdk activate sdk-1.38.15-64bit
+hide_output ./emsdk install sdk-1.38.40-64bit
+./emsdk activate sdk-1.38.40-64bit
# Compile and cache libc
# shellcheck disable=SC1091
@@ -53,4 +53,3 @@ chmod a+rxw -R /emsdk-portable
cd /
curl --retry 5 -L https://nodejs.org/dist/v12.3.1/node-v12.3.1-linux-x64.tar.xz | \
tar -xJ
-
--
GitLab