# HG changeset patch
# User wenzelm
# Date 1478770534 -3600
# Node ID 9d643c4e940386ab0651a8f2622ce6db142e45bd
# Parent  812c22e556b9739e667b375ddc632ae61130c822
uniform order for options and args;

diff -r 812c22e556b9 -r 9d643c4e9403 src/Pure/Admin/isabelle_cronjob.scala
--- 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)