# HG changeset patch
# User wenzelm
# Date 1508320381 -7200
# Node ID 593053cac3be799e812c8660c7b07b8665619ca4
# Parent  91da58bb560d46b6d096035be501983a1abb94ea
tuned options;

diff -r 91da58bb560d -r 593053cac3be src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 17 13:56:58 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 18 11:53:01 2017 +0200
@@ -244,7 +244,7 @@
           detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
       List(
         Remote_Build("AFP slow", "lrzcloud1", shared_home = false,
-          options = "-m64 -M6 -s10 -t AFP",
+          options = "-m64 -M6 -U30g -s10 -t AFP",
           args = "-g slow -X very_slow",
           afp = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))