From 250c3e4d8bb8795342a7dce59ee2a630367b855f Mon Sep 17 00:00:00 2001
From: Michael Droettboom <mdboom@gmail.com>
Date: Tue, 10 Jul 2018 09:23:15 -0400
Subject: [PATCH] Update emsdk cache version

---
 .circleci/config.yml | 4 ++--
 src/pyodide.js       | 1 +
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 6010a954e..be88ea869 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -47,7 +47,7 @@ jobs:
 
       - restore_cache:
           keys:
-          - v1-emsdk-{{ checksum "emsdk/Makefile" }}-v2
+          - v1-emsdk-{{ checksum "emsdk/Makefile" }}-v3
           # fallback to using the latest cache if no exact match is found
           - v1-emsdk-
 
@@ -60,7 +60,7 @@ jobs:
       - save_cache:
           paths:
             - ./emsdk/emsdk
-          key: v1-emsdk-{{ checksum "emsdk/Makefile" }}-v2
+          key: v1-emsdk-{{ checksum "emsdk/Makefile" }}-v3
 
       - run:
           name: test
diff --git a/src/pyodide.js b/src/pyodide.js
index d104e4619..6b8e34cad 100644
--- a/src/pyodide.js
+++ b/src/pyodide.js
@@ -75,6 +75,7 @@ var languagePluginLoader = new Promise((resolve, reject) => {
   Module.noAudioDecoding = true;
   let isFirefox = navigator.userAgent.toLowerCase().indexOf('firefox') > -1;
   if (isFirefox) {
+    console.log("Skipping wasm decoding");
     Module.noWasmDecoding = true;
   }