Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
uniform order for options and args;
authorwenzelm
Thu, 10 Nov 2016 10:35:34 +0100
changeset 64479 9d643c4e9403
parent 64478 812c22e556b9
child 64480 84e1655ad777
uniform order for options and args;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- 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