src/Pure/Admin/isabelle_cronjob.scala
changeset 64544 d23b7c9b9dd4
parent 64538 5dd15fc22a53
child 64909 8007f10195af
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Dec 04 18:53:22 2016 +0100
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Dec 10 15:45:16 2016 +0100
     1.3 @@ -97,7 +97,7 @@
     1.4    private val remote_builds =
     1.5      List(
     1.6        List(Remote_Build("lxbroy8",
     1.7 -        options = "-m32 -B -M1x2,2 -t polyml-test -e 'init_component /home/isabelle/contrib/polyml-test-7a7b742897e9'",
     1.8 +        options = "-m32 -B -M1x2,2 -t polyml-test -e 'init_component /home/isabelle/contrib/polyml-test-8529546198aa'",
     1.9          args = "-N -g timing")),
    1.10        List(Remote_Build("lxbroy9", options = "-m32 -B -M1x2,2", args = "-N -g timing")),
    1.11        List(Remote_Build("lxbroy10", options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),