# 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 +