bin/isabelle
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 "$@"