--- a/lib/scripts/getsettings Mon Aug 18 17:57:06 2008 +0200
+++ b/lib/scripts/getsettings Thu Aug 21 13:05:28 2008 +0200
@@ -48,8 +48,10 @@
if [ "$OSTYPE" = cygwin ]; then
CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
function jvmpath() { cygpath -w -p "$@"; }
+ ISABELLE_ROOT_JVM="/"
else
function jvmpath() { echo "$@"; }
+ ISABELLE_ROOT_JVM="$(jvmpath "/")"
fi
#CLASSPATH convenience
@@ -82,10 +84,6 @@
ISABELLE_OUTPUT="$ISABELLE_OUTPUT/$ML_IDENTIFIER"
-#JVM settings
-ISABELLE_HOME_JVM="$(jvmpath "$ISABELLE_HOME")"
-ISABELLE_HOME_USER_JVM="$(jvmpath "$ISABELLE_HOME_USER")"
-
set +o allexport
fi