diff --git a/tools/emscripten/install_emscripten.sh b/tools/emscripten/install_emscripten.sh index 443c884b..e19f8d41 100755 --- a/tools/emscripten/install_emscripten.sh +++ b/tools/emscripten/install_emscripten.sh @@ -19,12 +19,3 @@ git pull # Activate PATH and other environment variables in the current terminal source ~/emsdk/emsdk_env.sh - -# Exclude version 3.1.57 (see https://github.com/emscripten-core/emscripten/issues/21756) -output=$(emcc -v 2>&1 | grep -c 3.1.57) -if [ $output -eq 1 ] -then - ./emsdk install 3.1.56 - ./emsdk activate 3.1.56 - source ~/emsdk/emsdk_env.sh -fi