--- a/src/Pure/Admin/isabelle_cronjob.scala Wed Oct 18 20:26:32 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Thu Oct 19 00:55:34 2017 +0200
@@ -243,7 +243,7 @@
detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
List(
Remote_Build("AFP slow", "lrzcloud1", shared_home = false,
- options = "-m64 -M6 -U30g -s10 -t AFP",
+ options = "-m64 -M6 -U30000 -s10 -t AFP",
args = "-g slow -X very_slow",
afp = true,
detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))