diff -r 80d7f004089d -r c5003c5c72c8 src/Pure/Admin/isabelle_cronjob.scala --- 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,