diff --git a/emsdk_env.sh b/emsdk_env.sh index 8d19fcb..ba66ae9 100755 --- a/emsdk_env.sh +++ b/emsdk_env.sh @@ -1,6 +1,20 @@ # 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="$_"