# HG changeset patch
# User wenzelm
# Date 1518520191 -3600
# Node ID 724992318c828f856f92f3d4a6fa815c4ddc73ba
# Parent  3b3188ae63da9eadcecb591879b9ac0e430b0e3d
lxbroy7 no longer exists;

diff -r 3b3188ae63da -r 724992318c82 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Feb 12 20:17:53 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Feb 13 12:09:51 2018 +0100
@@ -247,7 +247,7 @@
           detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
     ) :::
     {
-      for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy7")) }
+      for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy5")) }
       yield {
         List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail,
           options = "-m32 -M1x2 -t AFP -P" + n +