equal
deleted
inserted
replaced
33 /* identify Isabelle + AFP repository snapshots */ |
33 /* identify Isabelle + AFP repository snapshots */ |
34 |
34 |
35 private val isabelle_identify = |
35 private val isabelle_identify = |
36 Logger_Task("isabelle_identify", logger => |
36 Logger_Task("isabelle_identify", logger => |
37 { |
37 { |
38 val isabelle_id = Mercurial.repository(isabelle_repos).identify(options = "-i") |
38 val isabelle_id = Mercurial.repository(isabelle_repos).id() |
39 val afp_id = |
39 val afp_id = |
40 Mercurial.setup_repository( |
40 { |
41 logger.cronjob_options.string("afp_repos"), afp_repos).pull_id() |
41 val hg = Mercurial.setup_repository(logger.cronjob_options.string("afp_repos"), afp_repos) |
|
42 hg.pull() |
|
43 hg.id() |
|
44 } |
42 |
45 |
43 File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date), |
46 File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date), |
44 terminate_lines( |
47 terminate_lines( |
45 List("isabelle_identify: " + Build_Log.print_date(logger.start_date), |
48 List("isabelle_identify: " + Build_Log.print_date(logger.start_date), |
46 "", |
49 "", |
256 /* main */ |
259 /* main */ |
257 |
260 |
258 val main_start_date = Date.now() |
261 val main_start_date = Date.now() |
259 File.write(main_state_file, main_start_date + " " + log_service.hostname) |
262 File.write(main_state_file, main_start_date + " " + log_service.hostname) |
260 |
263 |
261 val rev = Mercurial.repository(isabelle_repos).identify(options = "-i") |
264 val rev = Mercurial.repository(isabelle_repos).id() |
262 |
265 |
263 run(main_start_date, |
266 run(main_start_date, |
264 Logger_Task("isabelle_cronjob", _ => |
267 Logger_Task("isabelle_cronjob", _ => |
265 run_now( |
268 run_now( |
266 SEQ(isabelle_identify, build_history_base, build_release, |
269 SEQ(isabelle_identify, build_history_base, build_release, |