From 85de1775248c6c808f0f79185bdd75609dc59cc1 Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Thu, 8 Aug 2019 10:23:08 -0700
Subject: [PATCH] Pin emscripten to 1.38.40 for macOS CI

See https://github.com/emscripten-core/emscripten/pull/9143
---
 script/fetch-emscripten | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/script/fetch-emscripten b/script/fetch-emscripten
index 14d526d9..f8b96acc 100755
--- a/script/fetch-emscripten
+++ b/script/fetch-emscripten
@@ -2,6 +2,8 @@
 
 set -e
 
+EMSCRIPTEN_VERSION=1.38.40
+
 mkdir -p target
 EMSDK_DIR="./target/emsdk"
 
@@ -19,10 +21,10 @@ EMSDK_DIR="./target/emsdk"
   ./emsdk list
 
   echo 'Installing latest emscripten...'
-  ./emsdk install latest
+  ./emsdk install $EMSCRIPTEN_VERSION
 
   echo 'Activating latest emscripten...'
-  ./emsdk activate latest
+  ./emsdk activate $EMSCRIPTEN_VERSION
 ) >&2
 
 (