proper value;
authorwenzelm
Sun Oct 15 21:30:21 2017 +0200 (22 months ago)
changeset 66869222a77470c0c
parent 66868 740d22146cb6
child 66870 f801b36d7c4e
proper value;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 15 20:34:24 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 15 21:30:21 2017 +0200
     1.3 @@ -243,7 +243,7 @@
     1.4            args = "-a",
     1.5            detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
     1.6        List(
     1.7 -        Remote_Build("AFP slow", "lrzcloud1",
     1.8 +        Remote_Build("AFP slow", "lrzcloud1", shared_home = false,
     1.9            options = "-m64 -M6 -s10 -t AFP",
    1.10            args = "-g slow -X very_slow",
    1.11            afp = true,