# HG changeset patch
# User wenzelm
# Date 1602096664 -7200
# Node ID 37c1fbcc88d03ccc13c09cd57d3620d2c6f8672a
# Parent  ed95980cf19817a76b8cb7471fd6b42c39f86107
discontinued old machines;

diff -r ed95980cf198 -r 37c1fbcc88d0 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 07 20:43:59 2020 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 07 20:51:04 2020 +0200
@@ -215,6 +215,16 @@
 
   val remote_builds_old: List[Remote_Build] =
     List(
+      Remote_Build("Linux A", "lxbroy9",
+        java_heap = "2g", options = "-m32 -B -M1x2,2", args = "-N -g timing"),
+      Remote_Build("Linux Benchmarks", "lxbroy5", historic = true, history = 90,
+        java_heap = "2g",
+        options = "-m32 -B -M1x2,2 -t Benchmarks" +
+          " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
+          " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind -e ISABELLE_SMLNJ=sml" +
+          " -e ISABELLE_SWIPL=swipl",
+        args = "-N -a -d '~~/src/Benchmarks'",
+        detect = Build_Log.Prop.build_tags + " = " + SQL.string("Benchmarks")),
       Remote_Build("Mac OS X 10.14 Mojave (Old)", "lapnipkow3",
         options = "-m32 -M1,2 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
         self_update = true, args = "-a -d '~~/src/Benchmarks'"),
@@ -278,18 +288,8 @@
   val remote_builds1: List[List[Remote_Build]] =
   {
     List(
-      List(Remote_Build("Linux A", "lxbroy9",
-        java_heap = "2g", options = "-m32 -B -M1x2,2", args = "-N -g timing")),
       List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90,
         options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
-      List(Remote_Build("Linux Benchmarks", "lxbroy5", historic = true, history = 90,
-        java_heap = "2g",
-        options = "-m32 -B -M1x2,2 -t Benchmarks" +
-          " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
-          " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind -e ISABELLE_SMLNJ=sml" +
-          " -e ISABELLE_SWIPL=swipl",
-        args = "-N -a -d '~~/src/Benchmarks'",
-        detect = Build_Log.Prop.build_tags + " = " + SQL.string("Benchmarks"))),
       List(
         Remote_Build("Mac OS X", "macbroy2",
           options = "-m32 -M8" +