changeset 62840 | d9744f41a4ec |
parent 62829 | 4141c2a8458b |
child 66906 | 03a96b8c7c06 |
--- a/bin/isabelle Sun Apr 03 23:28:48 2016 +0200 +++ b/bin/isabelle Sun Apr 03 23:56:52 2016 +0200 @@ -47,10 +47,10 @@ case "$ISABELLE_JAVA_PLATFORM" in x86-*) - eval "declare -a JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS32)" + eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS32)" ;; x86_64-*) - eval "declare -a JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS64)" + eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS64)" ;; esac