# HG changeset patch
# User wenzelm
# Date 1722025951 -7200
# Node ID 6a5514a4f7a014a35d92ebb3a9552df4ebc5ef8f
# Parent  94703573e0af3ee2799a74a7b7cf1e687d8facf5
less ambitious parallelism: avoid exhaustion of memory (64GB total);

diff -r 94703573e0af -r 6a5514a4f7a0 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Jul 25 10:30:22 2024 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Jul 26 22:32:31 2024 +0200
@@ -389,7 +389,7 @@
       List(
         Remote_Build("AFP Windows", "windows2",
           java_heap = "8g",
-          options = "-m32 -M1x6 -t AFP",
+          options = "-m32 -M1x5 -t AFP",
           args = "-a -X large -X slow",
           afp = true,
           detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP")))