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.
clarified cold-start environment;
authorwenzelm
Mon, 03 Oct 2016 17:23:33 +0200
changeset 64022 3c0193f82d20
parent 64021 1e23caac8757
child 64023 41f7e383c19e
clarified cold-start environment;
bin/isabelle_java file | annotate | diff | comparison | revisions 
--- a/bin/isabelle_java	Mon Oct 03 16:50:29 2016 +0200
+++ b/bin/isabelle_java	Mon Oct 03 17:23:33 2016 +0200
@@ -64,6 +64,7 @@
     echo "Unknown JAVA_HOME -- Java unavailable" >&2
     exit 127
   else
+    unset ISABELLE_HOME
     unset CLASSPATH
     exec "$JAVA_HOME/bin/java" "${JAVA_ARGS[@]}" -classpath "$ISABELLE_CLASSPATH" "$@"
   fi
isabelle