bin/isabelle_java
changeset 64022 3c0193f82d20
parent 63995 2e4d80723fb0
child 64035 90017a182892
     1.1 --- a/bin/isabelle_java	Mon Oct 03 16:50:29 2016 +0200
     1.2 +++ b/bin/isabelle_java	Mon Oct 03 17:23:33 2016 +0200
     1.3 @@ -64,6 +64,7 @@
     1.4      echo "Unknown JAVA_HOME -- Java unavailable" >&2
     1.5      exit 127
     1.6    else
     1.7 +    unset ISABELLE_HOME
     1.8      unset CLASSPATH
     1.9      exec "$JAVA_HOME/bin/java" "${JAVA_ARGS[@]}" -classpath "$ISABELLE_CLASSPATH" "$@"
    1.10    fi