changeset 41623 | f5619d83d0e3 |
parent 41615 | f70d2cb26acf |
child 41758 | a231e6110f9b |
--- a/lib/scripts/getsettings Fri Jan 21 19:01:40 2011 +0100 +++ b/lib/scripts/getsettings Fri Jan 21 22:04:12 2011 +0100 @@ -56,7 +56,7 @@ #JVM path wrapper if [ "$OSTYPE" = cygwin ]; then CLASSPATH="$(cygpath -u -p "$CLASSPATH")" - function jvmpath() { cygpath -w -p "$@"; } + function jvmpath() { cygpath -C UTF8 -w -p "$@"; } THIS_CYGWIN="$(jvmpath "/")" else function jvmpath() { echo "$@"; }