author | wenzelm |
Tue, 25 Oct 2016 19:44:20 +0200 | |
changeset 64399 | c46e26512e0f |
parent 64398 | 5076725247fa |
child 64400 | 3e2ddf2f82d8 |
--- 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)