# HG changeset patch
# User wenzelm
# Date 1508095821 -7200
# Node ID 222a77470c0ce357fa3c5f995f405ade81819a07
# Parent  740d22146cb63df978f3c372cd0b6a0ce6012c8b
proper value;

diff -r 740d22146cb6 -r 222a77470c0c src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 15 20:34:24 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 15 21:30:21 2017 +0200
@@ -243,7 +243,7 @@
           args = "-a",
           detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
       List(
-        Remote_Build("AFP slow", "lrzcloud1",
+        Remote_Build("AFP slow", "lrzcloud1", shared_home = false,
           options = "-m64 -M6 -s10 -t AFP",
           args = "-g slow -X very_slow",
           afp = true,