# HG changeset patch
# User wenzelm
# Date 1219333379 -7200
# Node ID 002718f9c938eda2f97192298e8f2f38a48f6eaa
# Parent  41b1c0b769bfbc19f65ff5ae9a3853820c67245e
proper ISABELLE_ROOT_JVM on Cygwin;

diff -r 41b1c0b769bf -r 002718f9c938 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Thu Aug 21 16:02:54 2008 +0200
+++ b/lib/scripts/getsettings	Thu Aug 21 17:42:59 2008 +0200
@@ -48,10 +48,10 @@
 if [ "$OSTYPE" = cygwin ]; then
   CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
   function jvmpath() { cygpath -w -p "$@"; }
-  ISABELLE_ROOT_JVM="/"
+  ISABELLE_ROOT_JVM="$(jvmpath /)"
 else
   function jvmpath() { echo "$@"; }
-  ISABELLE_ROOT_JVM="$(jvmpath "/")"
+  ISABELLE_ROOT_JVM=/
 fi
 
 #CLASSPATH convenience