--- a/src/Pure/Admin/isabelle_cronjob.scala Sat Oct 22 21:10:02 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Oct 22 21:21:14 2016 +0200
@@ -99,15 +99,20 @@
port: Int = SSH.default_port,
shared_home: Boolean = true,
options: String = "",
- args: String = "-a")
+ args: String = "")
private val remote_builds =
List(
List(Remote_Build("lxbroy10", options = "-m32 -B -M1x4,2,4,6 -N", args = "-g timing")),
- List(Remote_Build("macbroy2", options = "-m32 -M4")),
- List(Remote_Build("macbroy30", options = "-m32 -M2")),
- List(Remote_Build("macbroy31", options = "-m32 -M2")),
- List(Remote_Build("vmnipkow9", options = "-m32 -M4", shared_home = false)))
+ List(
+ Remote_Build("macbroy2", options = "-m32 -M8", args = "-a"),
+ Remote_Build("macbroy2", options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty"),
+ Remote_Build("macbroy2", options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs")),
+ List(Remote_Build("macbroy30", options = "-m32 -M2", args = "-a")),
+ List(Remote_Build("macbroy31", options = "-m32 -M2", args = "-a")),
+ List(
+ Remote_Build("vmnipkow9", shared_home = false, options = "-m32 -M4", args = "-a"),
+ Remote_Build("vmnipkow9", shared_home = false, options = "-m64 -M4", args = "-a")))
private def remote_build_history(rev: String, r: Remote_Build): Logger_Task =
{