# HG changeset patch # User wenzelm # Date 1476719910 -7200 # Node ID 5ca4ac099e94f8c0645f5380a186c438e42e4835 # Parent 622f4e4ac388938ed2258bac44895253bdc9e873 improved platform coverage: macbroy30, macbroy31; slightly improved performance on lxbroy10; diff -r 622f4e4ac388 -r 5ca4ac099e94 src/Pure/Admin/isabelle_cronjob.scala --- 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 =>