# HG changeset patch
# User wenzelm
# Date 1632862222 -7200
# Node ID 40804452ab6bcee50ea86ad1270ed1855448b9a3
# Parent  04b1ce7efd2289e0de7cc7c81d54d0f79ab0e8e1
recover some Linux test, using virtual machine node (Ubuntu 20.04, 4 cores, 16 GB);

diff -r 04b1ce7efd22 -r 40804452ab6b src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Sep 28 22:39:27 2021 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Sep 28 22:50:22 2021 +0200
@@ -313,6 +313,14 @@
   val remote_builds1: List[List[Remote_Build]] =
   {
     List(
+      List(Remote_Build("Linux A", "augsburg1",
+          options = "-m32 -B -M1x2,2,4" +
+            " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind -e ISABELLE_OCAML_SETUP=true" +
+            " -e ISABELLE_GHC_SETUP=true" +
+            " -e ISABELLE_MLTON=mlton" +
+            " -e ISABELLE_SMLNJ=sml" +
+            " -e ISABELLE_SWIPL=swipl",
+          self_update = true, 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",