bin/isabelle
changeset 62840 d9744f41a4ec
parent 62829 4141c2a8458b
child 66906 03a96b8c7c06
     1.1 --- a/bin/isabelle	Sun Apr 03 23:28:48 2016 +0200
     1.2 +++ b/bin/isabelle	Sun Apr 03 23:56:52 2016 +0200
     1.3 @@ -47,10 +47,10 @@
     1.4  
     1.5  case "$ISABELLE_JAVA_PLATFORM" in
     1.6    x86-*)
     1.7 -    eval "declare -a JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS32)"
     1.8 +    eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS32)"
     1.9      ;;
    1.10    x86_64-*)
    1.11 -    eval "declare -a JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS64)"
    1.12 +    eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS64)"
    1.13      ;;
    1.14  esac
    1.15