--- a/etc/settings Tue Sep 08 15:37:13 2015 +0200
+++ b/etc/settings Tue Sep 08 17:34:46 2015 +0200
@@ -39,14 +39,8 @@
ISABELLE_BUILD_OPTIONS=""
-case "$ISABELLE_JAVA_PLATFORM" in
- x86_64-*)
- ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
- ;;
- *)
- ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4096m -Xss4m"
- ;;
-esac
+ISABELLE_BUILD_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
+ISABELLE_BUILD_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx4096m -Xss4m"
###