Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bin/isabelle_java
changeset 66906 03a96b8c7c06
parent 64035 90017a182892
child 67490 982f0bf34804 
--- a/bin/isabelle_java	Mon Oct 23 14:12:09 2017 +0200
+++ b/bin/isabelle_java	Mon Oct 23 19:30:39 2017 +0200
@@ -14,16 +14,7 @@
 (
   source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
 
-  case "$ISABELLE_JAVA_PLATFORM" in
-    x86-*)
-      ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS32"
-      ;;
-    x86_64-*)
-      ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS64"
-      ;;
-  esac
-
-  declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
+  eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
 
   if [ -f "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" ]; then
     classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"
isabelle