deleted file mode 100755

@@ -1,24 +0,0 @@

-#!/bin/bash

-if [ -e emscripten ] ; then

-        echo "ERROR: An emscripten directory already exists, aborting install"

-        echo "NOTE: To upgrade the installation, use ./emscripten-upgrade.sh"

-        exit 1

-fi

-parentdir=$(pwd)

-mkdir -p emscripten

-cd emscripten

-git clone https://github.com/emscripten-core/emsdk.git

-cat > env.sh  <<'EOF'

-#!/bin/bash

-echo "Reminder: this script has to be used with source (.) instead of exec"

-EOF

-echo "export PATH=$parentdir/emscripten/emsdk:$parentdir/emscripten/emsdk/upstream/emscripten:\$PATH" >> env.sh

-echo "export EMSDK=$parentdir/emscripten/emsdk" >> env.sh

-chmod 755 env.sh

-cd ..

-./emscripten-update.sh

-echo ""

-echo "Installation complete."

-echo "To use the emscripten toolchain, first include env.sh with \". emscripten/env.sh\""

-

-

new file mode 100755

@@ -0,0 +1,24 @@

+#!/bin/bash

+if [ -e emscripten ] ; then

+        echo "ERROR: An emscripten directory already exists, aborting install"

+        echo "NOTE: To upgrade the installation, use ./emscripten-upgrade.sh"

+        exit 1

+fi

+parentdir=$(pwd)

+mkdir -p emscripten

+cd emscripten

+git clone https://github.com/emscripten-core/emsdk.git

+cat > env.sh  <<'EOF'

+#!/bin/bash

+echo "Reminder: this script has to be used with source (.) instead of exec"

+EOF

+echo "export PATH=$parentdir/emscripten/emsdk:$parentdir/emscripten/emsdk/upstream/emscripten:\$PATH" >> env.sh

+echo "export EMSDK=$parentdir/emscripten/emsdk" >> env.sh

+chmod 755 env.sh

+cd ..

+./emscripten-update.sh

+echo ""

+echo "Installation complete."

+echo "To use the emscripten toolchain, first include env.sh with \". emscripten/env.sh\""

+

+