Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more Java heap space (see 2d658beb815b);
authorwenzelm
Wed, 24 Jun 2020 11:16:57 +0200
changeset 71977 c5003c5c72c8
parent 71976 80d7f004089d
child 71978 3e54088a7119
more Java heap space (see 2d658beb815b);
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- 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,
isabelle