94 options: String = "", |
94 options: String = "", |
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", |
|
100 options = "-m32 -B -M1x2,2 -t polyml-test -e 'init_component /home/isabelle/contrib/polyml-test-8529546198aa'", |
|
101 args = "-N -g timing")), |
|
102 List(Remote_Build("lxbroy9", options = "-m32 -B -M1x2,2", args = "-N -g timing")), |
99 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")), |
100 List(Remote_Build("lxbroy10", options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
104 List( |
101 List( |
105 Remote_Build("macbroy2", options = "-m32 -M8", args = "-a"), |
102 Remote_Build("macbroy2", options = "-m32 -M8", args = "-a"), |
106 Remote_Build("macbroy2", options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty"), |
103 Remote_Build("macbroy2", options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty"), |