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.
timeout as in former isatest-makeall;
authorwenzelm
Sat, 15 Oct 2016 22:24:04 +0200
changeset 64235 0850871a7084
parent 64234 85ad942d1d00
child 64236 358f9ff08681
timeout as in former isatest-makeall;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- 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(
isabelle