# HG changeset patch
# User wenzelm
# Date 1508703739 -7200
# Node ID c078509d460651d016433de54226bf2045c2b663
# Parent  f6bc83ffda023f89edb181fb98459a3792242f1f
tuned output;

diff -r f6bc83ffda02 -r c078509d4606 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 22 16:43:00 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 22 22:22:19 2017 +0200
@@ -245,7 +245,7 @@
     {
       for { (host, n) <- List("lxbroy6" -> 1, "lxbroy7" -> 2) }
       yield {
-        List(Remote_Build("AFP " + n, host = host,
+        List(Remote_Build("AFP", host = host,
           options = "-m32 -M1x2 -t AFP -P" + n,
           args = "-N -X slow",
           afp = true,