equal
deleted
inserted
replaced
57 Isabelle_System.rm_tree(old_snapshot) |
57 Isabelle_System.rm_tree(old_snapshot) |
58 |
58 |
59 Build_Release.build_release(base_dir, rev = rev, afp_rev = afp_rev, |
59 Build_Release.build_release(base_dir, rev = rev, afp_rev = afp_rev, |
60 parallel_jobs = 4, remote_mac = "macbroy31", website = Some(new_snapshot)) |
60 parallel_jobs = 4, remote_mac = "macbroy31", website = Some(new_snapshot)) |
61 |
61 |
62 if (release_snapshot.is_dir) File.mv(release_snapshot, old_snapshot) |
62 if (release_snapshot.is_dir) File.move(release_snapshot, old_snapshot) |
63 File.mv(new_snapshot, release_snapshot) |
63 File.move(new_snapshot, release_snapshot) |
64 Isabelle_System.rm_tree(old_snapshot) |
64 Isabelle_System.rm_tree(old_snapshot) |
65 })) |
65 })) |
66 |
66 |
67 |
67 |
68 /* integrity test of build_history vs. build_history_base */ |
68 /* integrity test of build_history vs. build_history_base */ |
77 (result, log_path) <- |
77 (result, log_path) <- |
78 Build_History.build_history( |
78 Build_History.build_history( |
79 hg, rev = "build_history_base", fresh = true, build_args = List("HOL")) |
79 hg, rev = "build_history_base", fresh = true, build_args = List("HOL")) |
80 } { |
80 } { |
81 result.check |
81 result.check |
82 File.mv(log_path, logger.log_dir + log_path.base) |
82 File.move(log_path, logger.log_dir + log_path.base) |
83 } |
83 } |
84 }) |
84 }) |
85 |
85 |
86 |
86 |
87 /* remote build_history */ |
87 /* remote build_history */ |