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