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.
more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
authorwenzelm
Sun, 13 Nov 2016 21:37:30 +0100
changeset 64506 b3ccfd59097d
parent 64505 545a7ab3c35f
child 64507 eace715f4988
more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sat Nov 12 17:58:11 2016 +0100
+++ b/Admin/components/components.sha1	Sun Nov 13 21:37:30 2016 +0100
@@ -137,6 +137,7 @@
 bd6a448f0e0d5787747f4f30ca661f9c1868e4a7  polyml-5.6-20151223.tar.gz
 5b70c12c95a90d858f90c1945011289944ea8e17  polyml-5.6-20160118.tar.gz
 5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.tar.gz
+853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
 8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 12 17:58:11 2016 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 13 21:37:30 2016 +0100
@@ -96,6 +96,10 @@
 
   private val remote_builds =
     List(
+      List(Remote_Build("lxbroy8",
+        options = "-m32 -B -M1x2,2 -t polyml-test -e 'init_component /home/isabelle/contrib/polyml-test-7a7b742897e9'",
+        args = "-N -g timing")),
+      List(Remote_Build("lxbroy9", options = "-m32 -B -M1x2,2", args = "-N -g timing")),
       List(Remote_Build("lxbroy10", options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
       List(
         Remote_Build("macbroy2", options = "-m32 -M8", args = "-a"),
isabelle