changeset 34043 | 7129fab1fe4f |
parent 33512 | 771ec7306438 |
child 34254 | 14f6df4f473d |
--- a/lib/scripts/getsettings Wed Dec 09 12:26:42 2009 +0100 +++ b/lib/scripts/getsettings Wed Dec 09 16:28:49 2009 +0100 @@ -51,6 +51,7 @@ if [ "$OSTYPE" = cygwin ]; then CLASSPATH="$(cygpath -u -p "$CLASSPATH")" function jvmpath() { cygpath -w -p "$@"; } + CYGWIN_ROOT="$(jvmpath "/")" else function jvmpath() { echo "$@"; } fi