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.
improved platform coverage: macbroy30, macbroy31;
authorwenzelm
Mon, 17 Oct 2016 17:58:30 +0200
changeset 64277 5ca4ac099e94
parent 64276 622f4e4ac388
child 64278 298a6df049f0
improved platform coverage: macbroy30, macbroy31; slightly improved performance on lxbroy10;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Oct 17 16:58:39 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Oct 17 17:58:30 2016 +0200
@@ -103,8 +103,10 @@
 
   private val remote_builds =
     List(
-      Remote_Build("lxbroy10", options = "-m32 -M4", shared_home = true),
-      Remote_Build("macbroy2", options = "-m32 -M4"))
+      Remote_Build("lxbroy10", options = "-m32 -M4 -N", shared_home = true),
+      Remote_Build("macbroy2", options = "-m32 -M4"),
+      Remote_Build("macbroy30", options = "-m32 -M2"),
+      Remote_Build("macbroy31", options = "-m32 -M2"))
 
   private def remote_build_history(rev: String, r: Remote_Build): Logger_Task =
     Logger_Task("build_history-" + r.host, logger =>
isabelle