src/Pure/Admin/isabelle_cronjob.scala
changeset 64399 c46e26512e0f
parent 64397 6e9c22c494c5
child 64405 81bac77929d9
equal deleted inserted replaced
64398:5076725247fa 64399:c46e26512e0f
    81 
    81 
    82           Isabelle_System.rm_tree(new_snapshot)
    82           Isabelle_System.rm_tree(new_snapshot)
    83           Isabelle_System.rm_tree(old_snapshot)
    83           Isabelle_System.rm_tree(old_snapshot)
    84 
    84 
    85           Build_Release.build_release(base_dir, parallel_jobs = 4,
    85           Build_Release.build_release(base_dir, parallel_jobs = 4,
    86             remote_mac = "macbroy30", website = Some(new_snapshot))
    86             remote_mac = "macbroy31", website = Some(new_snapshot))
    87 
    87 
    88           if (release_snapshot.is_dir) File.mv(release_snapshot, old_snapshot)
    88           if (release_snapshot.is_dir) File.mv(release_snapshot, old_snapshot)
    89           File.mv(new_snapshot, release_snapshot)
    89           File.mv(new_snapshot, release_snapshot)
    90           Isabelle_System.rm_tree(old_snapshot)
    90           Isabelle_System.rm_tree(old_snapshot)
    91         }))
    91         }))