95 args: String = "") |
95 args: String = "") |
96 |
96 |
97 private val remote_builds = |
97 private val remote_builds = |
98 List( |
98 List( |
99 List(Remote_Build("lxbroy8", |
99 List(Remote_Build("lxbroy8", |
100 options = "-m32 -B -M1x2,2 -t polyml-test -e 'init_component /home/isabelle/contrib/polyml-test-7a7b742897e9'", |
100 options = "-m32 -B -M1x2,2 -t polyml-test -e 'init_component /home/isabelle/contrib/polyml-test-8529546198aa'", |
101 args = "-N -g timing")), |
101 args = "-N -g timing")), |
102 List(Remote_Build("lxbroy9", options = "-m32 -B -M1x2,2", args = "-N -g timing")), |
102 List(Remote_Build("lxbroy9", options = "-m32 -B -M1x2,2", args = "-N -g timing")), |
103 List(Remote_Build("lxbroy10", options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
103 List(Remote_Build("lxbroy10", options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
104 List( |
104 List( |
105 Remote_Build("macbroy2", options = "-m32 -M8", args = "-a"), |
105 Remote_Build("macbroy2", options = "-m32 -M8", args = "-a"), |