bin/isabelle_java
changeset 66906 03a96b8c7c06
parent 64035 90017a182892
child 67490 982f0bf34804
     1.1 --- a/bin/isabelle_java	Mon Oct 23 14:12:09 2017 +0200
     1.2 +++ b/bin/isabelle_java	Mon Oct 23 19:30:39 2017 +0200
     1.3 @@ -14,16 +14,7 @@
     1.4  (
     1.5    source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
     1.6  
     1.7 -  case "$ISABELLE_JAVA_PLATFORM" in
     1.8 -    x86-*)
     1.9 -      ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS32"
    1.10 -      ;;
    1.11 -    x86_64-*)
    1.12 -      ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS64"
    1.13 -      ;;
    1.14 -  esac
    1.15 -
    1.16 -  declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
    1.17 +  eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
    1.18  
    1.19    if [ -f "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" ]; then
    1.20      classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"