src/Pure/Admin/isabelle_cronjob.scala
changeset 71977 c5003c5c72c8
parent 71975 2d658beb815b
child 71983 694009ed4ee1
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Jun 21 11:12:19 2020 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Jun 24 11:16:57 2020 +0200
@@ -350,7 +350,8 @@
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")),
         Remote_Build("AFP bulky2", "lrzcloud2", actual_host = "10.195.4.41", self_update = true,
           proxy_host = "lxbroy10", proxy_user = "i21isatest",
-          options = "-m64 -M8 -U30000 -s10 -t AFP",
+          options = "-m64 -M8 -U30000 -s10 -t AFP" +
+            """ -e 'ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS -Xmx8g"'""",
           args = "-g large -g slow",
           afp = true,
           bulky = true,