diff --git a/execute.sh b/execute.sh index 57775bcfd..ca4577def 100755 --- a/execute.sh +++ b/execute.sh @@ -1,6 +1,6 @@ #!/bin/bash -basedir=$(dirname "$(echo "$0" | sed -e 's,\\,/,g')") +basedir=$(dirname "$(readlink -f "$0" | sed -e 's,\\,/,g')") case `uname` in *CYGWIN*) basedir=`cygpath -w "$basedir"`;;