# HG changeset patch
# User wenzelm
# Date 1569433200 -7200
# Node ID 6a835635fa93db0cf8da2f7795ee641df475f04d
# Parent  36283f21635c18291d1a5b141ac591b815844280
disable lrzcloud1 -- superseded by lrzcloud2;

diff -r 36283f21635c -r 6a835635fa93 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Sep 25 18:39:47 2019 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Sep 25 19:40:00 2019 +0200
@@ -215,6 +215,14 @@
 
   val remote_builds_old: List[Remote_Build] =
     List(
+      Remote_Build("AFP bulky", "lrzcloud1", self_update = true,
+        proxy_host = "lxbroy10", proxy_user = "i21isatest",
+        ssh_host = "10.155.208.96",
+        options = "-m64 -M6 -U30000 -s10 -t AFP",
+        args = "-g large -g slow",
+        afp = true,
+        bulky = true,
+        detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")),
       Remote_Build("AFP", "lxbroy7",
           args = "-N -X large -X slow",
           afp = true,
@@ -328,15 +336,6 @@
   val remote_builds2: List[List[Remote_Build]] =
     List(
       List(
-        Remote_Build("AFP bulky", "lrzcloud1", self_update = true,
-          proxy_host = "lxbroy10", proxy_user = "i21isatest",
-          ssh_host = "10.155.208.96",
-          options = "-m64 -M6 -U30000 -s10 -t AFP",
-          args = "-g large -g slow",
-          afp = true,
-          bulky = true,
-          detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP"))),
-      List(
         Remote_Build("AFP2", "lrzcloud2", self_update = true,
           proxy_host = "lxbroy10", proxy_user = "i21isatest",
           ssh_host = "10.195.2.10",