Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper ISABELLE_ROOT_JVM on Cygwin;
authorwenzelm
Thu, 21 Aug 2008 17:42:59 +0200
changeset 27940 002718f9c938
parent 27939 41b1c0b769bf
child 27941 b4656b671cce
proper ISABELLE_ROOT_JVM on Cygwin;
lib/scripts/getsettings file | annotate | diff | comparison | revisions 
--- 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
isabelle