etc/settings
changeset 61135 8f7d802b7a71
parent 61131 83459eb76fe3
child 61148 b3efd7552d83
     1.1 --- a/etc/settings	Tue Sep 08 15:37:13 2015 +0200
     1.2 +++ b/etc/settings	Tue Sep 08 17:34:46 2015 +0200
     1.3 @@ -39,14 +39,8 @@
     1.4  
     1.5  ISABELLE_BUILD_OPTIONS=""
     1.6  
     1.7 -case "$ISABELLE_JAVA_PLATFORM" in
     1.8 -  x86_64-*)
     1.9 -    ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
    1.10 -    ;;
    1.11 -  *)
    1.12 -    ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4096m -Xss4m"
    1.13 -    ;;
    1.14 -esac
    1.15 +ISABELLE_BUILD_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
    1.16 +ISABELLE_BUILD_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx4096m -Xss4m"
    1.17  
    1.18  
    1.19  ###