# HG changeset patch
# User wenzelm
# Date 1706647113 -3600
# Node ID 4d88229fb1e4e4b10565da2f8cdbde44d9b93eb0
# Parent  501af322319c2fe70f16bf5aca50e500f32e834b
avoid excessive ML heap on this 16GB node;

diff -r 501af322319c -r 4d88229fb1e4 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Jan 30 21:35:28 2024 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Jan 30 21:38:33 2024 +0100
@@ -299,7 +299,7 @@
       List(Remote_Build("Linux (ARM)", "linux-arm",
         history_base = "build_history_base_arm",
         shared_isabelle_self = true,
-        options = "-m32 -B -M1x2 -p timeout_scale=2" +
+        options = "-m32 -B -M1x2 -U 4000 -p timeout_scale=2" +
           " -e ISABELLE_SWIPL=swipl",
         args = "-a -d '~~/src/Benchmarks'")),
       List(Remote_Build("Linux B", "lxbroy10", history = 90,