changeset 66106 | b5333fc056da |
parent 66009 | 4fe8e0b2590a |
child 66609 | a61181ffb1ce |
--- a/src/Pure/Admin/isabelle_cronjob.scala Sat Jun 17 16:06:54 2017 +0200 +++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Jun 17 16:28:16 2017 +0200 @@ -243,8 +243,8 @@ isabelle_identifier = "cronjob_build_history", self_update = self_update, push_isabelle_home = push_isabelle_home, + rev = rev, options = - "-r " + Bash.string(rev) + " -N " + Bash.string(task_name) + (if (i < 0) "" else "_" + (i + 1).toString) + " -f " + r.options, args = "-o timeout=10800 " + r.args)