# 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")))