lib/scripts/getsettings
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