Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 64399 c46e26512e0f
parent 64397 6e9c22c494c5
child 64405 81bac77929d9 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 25 17:22:05 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 25 19:44:20 2016 +0200
@@ -83,7 +83,7 @@
           Isabelle_System.rm_tree(old_snapshot)
 
           Build_Release.build_release(base_dir, parallel_jobs = 4,
-            remote_mac = "macbroy30", website = Some(new_snapshot))
+            remote_mac = "macbroy31", website = Some(new_snapshot))
 
           if (release_snapshot.is_dir) File.mv(release_snapshot, old_snapshot)
           File.mv(new_snapshot, release_snapshot)
isabelle