# HG changeset patch
# User wenzelm
# Date 1477075780 -7200
# Node ID 20c543b9fa80aa1a45890b158cffd483c323b736
# Parent  e3b57c8046cbfb5b8e09577270c781b2298b56e8
clarified default args;
more ambitious tests;

diff -r e3b57c8046cb -r 20c543b9fa80 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Fri Oct 21 18:18:26 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Oct 21 20:49:40 2016 +0200
@@ -99,11 +99,11 @@
     port: Int = SSH.default_port,
     shared_home: Boolean = true,
     options: String = "",
-    args: String = "-o timeout=10800 -a")
+    args: String = "-a")
 
   private val remote_builds =
     List(
-      Remote_Build("lxbroy10", options = "-m32 -M4 -N"),
+      Remote_Build("lxbroy10", options = "-m32 -B -M1x4,2,4,6 -N", args = "-g timing"),
       Remote_Build("macbroy2", options = "-m32 -M4"),
       Remote_Build("macbroy30", options = "-m32 -M2"),
       Remote_Build("macbroy31", options = "-m32 -M2"),
@@ -125,7 +125,7 @@
                   self_update = !r.shared_home,
                   options =
                     r.options + " -f -r " + Bash.string(rev) + " -N " + Bash.string(task_name),
-                  args = r.args)
+                  args = "-o timeout=10800 " + r.args)
               for ((log, bytes) <- results)
                 Bytes.write(logger.log_dir + Path.explode(log), bytes)
             })