Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 64479 9d643c4e9403
parent 64476 62c807eb009f
child 64480 84e1655ad777 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Nov 10 10:20:11 2016 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Nov 10 10:35:34 2016 +0100
@@ -126,7 +126,7 @@
                   self_update = self_update,
                   push_isabelle_home = push_isabelle_home,
                   options =
-                    r.options + " -f -r " + Bash.string(rev) + " -N " + Bash.string(task_name),
+                    "-r " + Bash.string(rev) + " -N " + Bash.string(task_name) + " -f " + r.options,
                   args = "-o timeout=10800 " + r.args)
 
               for ((log_name, bytes) <- results)
isabelle