clarified cold-start environment;
authorwenzelm
Mon Oct 03 17:23:33 2016 +0200 (2016-10-03)
changeset 640223c0193f82d20
parent 64021 1e23caac8757
child 64023 41f7e383c19e
clarified cold-start environment;
bin/isabelle_java
     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