# HG changeset patch
# User wenzelm
# Date 1543580438 -3600
# Node ID f8a1f1d7dd62fb5cbb0dbb3d55ec3d36c010144e
# Parent  ab66951166f34c08ea79be35f52f92f295cb62e1
use older Mac OS X system, for the sake of portability (amending bf5cbefb5c1f);

diff -r ab66951166f3 -r f8a1f1d7dd62 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Thu Nov 29 15:17:51 2018 +0100
+++ b/Admin/Release/CHECKLIST	Fri Nov 30 13:20:38 2018 +0100
@@ -86,7 +86,7 @@
 
 - fully-automated packaging (e.g. on lxbroy10):
 
-  hg up -r DISTNAME && Admin/build_release -M lapbroy68 -O -l -R DISTNAME /home/isabelle/dist
+  hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist
 
 - Docker image:
 
diff -r ab66951166f3 -r f8a1f1d7dd62 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Nov 29 15:17:51 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Nov 30 13:20:38 2018 +0100
@@ -76,7 +76,7 @@
     Logger_Task("build_release", logger =>
       {
         Isabelle_Devel.release_snapshot(
-          rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "lapbroy68")
+          rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "macbroy30")
       })