| changeset 47113 | b5a5662528fb |
| parent 45385 | 7c1375ba1424 |
| child 47115 | 1a05adae1cc9 |
--- a/src/Tools/JVM/java_ext_dirs Mon Mar 26 11:15:41 2012 +0200 +++ b/src/Tools/JVM/java_ext_dirs Sat Mar 24 20:24:16 2012 +0100 @@ -17,7 +17,7 @@ ## main -JAVA_EXE="${THIS_JAVA:-$ISABELLE_JAVA}" -exec "$JAVA_EXE" -classpath "$(jvmpath "$ISABELLE_HOME/src/Tools/JVM/java_ext_dirs.jar")" \ +exec "$ISABELLE_JDK_HOME/bin/java" \ + -classpath "$(jvmpath "$ISABELLE_HOME/src/Tools/JVM/java_ext_dirs.jar")" \ isabelle.Java_Ext_Dirs "$(jvmpath "$ISABELLE_HOME/lib/classes/ext")"