diff --git a/src/run b/src/run index caea5c3b0..6361b207f 100755 --- a/src/run +++ b/src/run @@ -19,8 +19,15 @@ base_dir=$(cd "`dirname "$loc"`" > /dev/null && pwd) # Determine os version and choose correspondent .sh or .bat file accordingly. os_version="`uname -a`" -if [[ $os_version == *"MINGW"* ]]; then - cmd //C "$base_dir/target/start.bat" "$@" -else +if [[ $os_version == *"MINGW"* ]]; then + PARAMS="" + for PARAM in "$@" + do + escaped="${PARAM//^^^>}" + PARAMS=( ${PARAMS[@]} "${escaped}" ) + done + cmd //C "$base_dir/target/start.bat" "${PARAMS[@]}" +else exec "$base_dir/target/start" "$@" fi