equal
deleted
inserted
replaced
45 |
45 |
46 isabelle_admin_build jars || exit $? |
46 isabelle_admin_build jars || exit $? |
47 |
47 |
48 case "$ISABELLE_JAVA_PLATFORM" in |
48 case "$ISABELLE_JAVA_PLATFORM" in |
49 x86-*) |
49 x86-*) |
50 eval "declare -a JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS32)" |
50 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS32)" |
51 ;; |
51 ;; |
52 x86_64-*) |
52 x86_64-*) |
53 eval "declare -a JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS64)" |
53 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS64)" |
54 ;; |
54 ;; |
55 esac |
55 esac |
56 |
56 |
57 exec isabelle java "${JAVA_ARGS[@]}" isabelle.Isabelle_Tool "$@" |
57 exec isabelle java "${JAVA_ARGS[@]}" isabelle.Isabelle_Tool "$@" |