| changeset 67769 | 20c262dcfdf5 |
| parent 67766 | 603334230303 |
| child 67772 | 71a318559e30 |
| 67768:6411290b9d34 | 67769:20c262dcfdf5 |
|---|---|
59 |
59 |
60 val exit = |
60 val exit = |
61 Logger_Task("exit", logger => |
61 Logger_Task("exit", logger => |
62 { |
62 { |
63 Isabelle_System.bash( |
63 Isabelle_System.bash( |
64 "rsync -a " + File.bash_path(main_dir + Path.explode("log")) + " " + |
64 "rsync -a " + File.bash_path(main_dir + Path.explode("log")) + " " + Bash.string(backup)) |
65 Bash.string(backup + "/cronjob/log")).check |
65 .check |
66 }) |
66 }) |
67 |
67 |
68 |
68 |
69 /* build release */ |
69 /* build release */ |
70 |
70 |