equal
deleted
inserted
replaced
73 /* build release */ |
73 /* build release */ |
74 |
74 |
75 val build_release = |
75 val build_release = |
76 Logger_Task("build_release", logger => |
76 Logger_Task("build_release", logger => |
77 { |
77 { |
78 Isabelle_Devel.release_snapshot(logger.options, |
78 Isabelle_Devel.release_snapshot(logger.options, rev = get_rev(), afp_rev = get_afp_rev()) |
79 rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "macbroy30") |
|
80 }) |
79 }) |
81 |
80 |
82 |
81 |
83 /* integrity test of build_history vs. build_history_base */ |
82 /* integrity test of build_history vs. build_history_base */ |
84 |
83 |