src/Pure/Admin/isabelle_cronjob.scala
changeset 66903 c078509d4606
parent 66902 f6bc83ffda02
child 66923 914935f8a462
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 22 16:43:00 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 22 22:22:19 2017 +0200
     1.3 @@ -245,7 +245,7 @@
     1.4      {
     1.5        for { (host, n) <- List("lxbroy6" -> 1, "lxbroy7" -> 2) }
     1.6        yield {
     1.7 -        List(Remote_Build("AFP " + n, host = host,
     1.8 +        List(Remote_Build("AFP", host = host,
     1.9            options = "-m32 -M1x2 -t AFP -P" + n,
    1.10            args = "-N -X slow",
    1.11            afp = true,