# HG changeset patch
# User wenzelm
# Date 1476563044 -7200
# Node ID 0850871a7084f5533328f2c5281629b1f7db80b6
# Parent  85ad942d1d00451df612af50649cd37dca608d3e
timeout as in former isatest-makeall;

diff -r 85ad942d1d00 -r 0850871a7084 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 15 21:59:35 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 15 22:24:04 2016 +0200
@@ -97,7 +97,7 @@
     port: Int = SSH.default_port,
     shared_home: Boolean = false,
     options: String = "",
-    args: String = "-a")
+    args: String = "-o timeout=10800 -a")
 
   private val remote_builds =
     List(