# HG changeset patch
# User wenzelm
# Date 1661115668 -7200
# Node ID 7c72091abd55335a8ab079be58a51045ca643639
# Parent  32c4f87668314055f6896fb09241c4111b9996c7
disable laramac01 for now: system update pending;

diff -r 32c4f8766831 -r 7c72091abd55 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Aug 21 15:16:26 2022 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Aug 21 23:01:08 2022 +0200
@@ -208,6 +208,10 @@
 
   val remote_builds_old: List[Remote_Build] =
     List(
+      Remote_Build("macOS 10.15 Catalina", "laramac01", user = "makarius",
+        proxy_host = "laraserver", proxy_user = "makarius",
+        options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
+        args = "-a -d '~~/src/Benchmarks'"),
       Remote_Build("Linux A", "i21of4", user = "i21isatest",
         proxy_host = "lxbroy10", proxy_user = "i21isatest",
         options = "-m32 -M1x4,2,4" +
@@ -348,10 +352,6 @@
         Remote_Build("macOS, skip_proofs", "mini2",
           options = "-m32 -M4 -t skip_proofs -p pide_session=false", args = "-a -o skip_proofs",
           detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("skip_proofs"))),
-      List(Remote_Build("macOS 10.15 Catalina", "laramac01", user = "makarius",
-        proxy_host = "laraserver", proxy_user = "makarius",
-        options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
-        args = "-a -d '~~/src/Benchmarks'")),
       List(
         Remote_Build("Windows", "vmnipkow9", historic = true, history = 90,
           options = "-m32 -M4" +