From ffdb2bc1c5ff0963d1bb1d179c12f5dd218b7612 Mon Sep 17 00:00:00 2001 From: Nikita Popov Date: Thu, 8 Nov 2018 16:32:42 +0100 Subject: Update the disabled wasm32 Dockerfile --- src/ci/docker/scripts/emscripten.sh | 5 ----- 1 file changed, 5 deletions(-) (limited to 'src/ci/docker/scripts') diff --git a/src/ci/docker/scripts/emscripten.sh b/src/ci/docker/scripts/emscripten.sh index dc4b2af792c..1d7b33db9ed 100644 --- a/src/ci/docker/scripts/emscripten.sh +++ b/src/ci/docker/scripts/emscripten.sh @@ -46,8 +46,3 @@ rm -f a.* # Make emsdk usable by any user cp /root/.emscripten /emsdk-portable chmod a+rxw -R /emsdk-portable - -# node 8 is required to run wasm -cd / -curl -sL https://nodejs.org/dist/v8.0.0/node-v8.0.0-linux-x64.tar.xz | \ - tar -xJ -- cgit 1.4.1-3-g733a5