# HG changeset patch
# User wenzelm
# Date 1621186635 -7200
# Node ID 7c7a59b765287878b7f321782465dd851645997b
# Parent  08def1cc6b337135f24fefdef27e23a4d2b8ecbf
recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);

diff -r 08def1cc6b33 -r 7c7a59b76528 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun May 16 16:05:13 2021 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun May 16 19:37:15 2021 +0200
@@ -303,6 +303,16 @@
   val remote_builds1: List[List[Remote_Build]] =
   {
     List(
+      List(Remote_Build("Linux A", "i21of4", user = "i21isatest",
+        proxy_host = "lxbroy10", proxy_user = "i21isatest",
+        self_update = true,
+        options = "-m32 -M1x4,2,4" +
+          " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
+          " -e ISABELLE_GHC_SETUP=true" +
+          " -e ISABELLE_MLTON=mlton" +
+          " -e ISABELLE_SMLNJ=sml" +
+          " -e ISABELLE_SWIPL=swipl",
+        args = "-a -d '~~/src/Benchmarks'")),
       List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90,
         options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
       List(Remote_Build("macOS 10.13 High Sierra", "lapbroy68",