changeset 66906 | 03a96b8c7c06 |
parent 62840 | d9744f41a4ec |
child 73705 | ac07f6be27ea |
--- a/bin/isabelle Mon Oct 23 14:12:09 2017 +0200 +++ b/bin/isabelle Mon Oct 23 19:30:39 2017 +0200 @@ -45,13 +45,5 @@ isabelle_admin_build jars || exit $? -case "$ISABELLE_JAVA_PLATFORM" in - x86-*) - eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS32)" - ;; - x86_64-*) - eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS64)" - ;; -esac - +eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)" exec isabelle java "${JAVA_ARGS[@]}" isabelle.Isabelle_Tool "$@"