# This script is sourced by the user and uses | |
# their shell. Try not to use bashisms. | |
# Do not execute this script without sourcing, | |
# because it won't have any effect then. | |
# That is, always run this script with | |
# | |
# . ./emsdk_env.sh | |
# or | |
# source ./emsdk_env.sh | |
# | |
# instead of just plainly running with | |
# | |
# ./emsdk_env.sh | |
# | |
# which won't have any effect. | |
SRC="$BASH_SOURCE" | |
if [ "$SRC" = "" ]; then | |
SRC="$0" | |
fi | |
pushd `dirname "$SRC"` > /dev/null | |
unset SRC | |
./emsdk construct_env "$@" | |
. ./emsdk_set_env.sh | |
popd > /dev/null |