# HG changeset patch
# User wenzelm
# Date 1587055269 -7200
# Node ID ad7ac7948d576805486b0b6272b46095348e9f78
# Parent  e4e05fcd8937c8846e141c55fc5abb039e624d86
move virtual machine node;

diff -r e4e05fcd8937 -r ad7ac7948d57 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Apr 16 08:09:32 2020 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Apr 16 18:41:09 2020 +0200
@@ -338,7 +338,7 @@
   val remote_builds2: List[List[Remote_Build]] =
     List(
       List(
-        Remote_Build("AFP2", "lrzcloud2", actual_host = "10.195.2.10", self_update = true,
+        Remote_Build("AFP2", "lrzcloud2", actual_host = "10.195.4.41", self_update = true,
           proxy_host = "lxbroy10", proxy_user = "i21isatest",
           options = "-m32 -M1x8 -t AFP" +
             " -e ISABELLE_GHC=ghc" +
@@ -348,7 +348,7 @@
           args = "-a -X large -X slow",
           afp = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")),
-        Remote_Build("AFP bulky2", "lrzcloud2", actual_host = "10.195.2.10", self_update = true,
+        Remote_Build("AFP bulky2", "lrzcloud2", actual_host = "10.195.4.41", self_update = true,
           proxy_host = "lxbroy10", proxy_user = "i21isatest",
           options = "-m64 -M8 -U30000 -s10 -t AFP",
           args = "-g large -g slow",