etc/settings
changeset 59565 96e860a17b9a
parent 59136 c2b23cb8a677
child 60200 02fd729f2883
     1.1 --- a/etc/settings	Mon Feb 23 14:50:30 2015 +0100
     1.2 +++ b/etc/settings	Mon Feb 23 15:04:12 2015 +0100
     1.3 @@ -34,7 +34,7 @@
     1.4  ###
     1.5  
     1.6  ISABELLE_BUILD_OPTIONS=""
     1.7 -ISABELLE_BUILD_JAVA_OPTIONS="-Xmx1024m -Xss1m"
     1.8 +ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xmx1024m -Xss1m"
     1.9  
    1.10  
    1.11  ###