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("lxbroy10", options = "-m32 -B -M1x4,2,4,6 -N", args = "-g timing")), |
99 List(Remote_Build("lxbroy10", options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
100 List( |
100 List( |
101 Remote_Build("macbroy2", options = "-m32 -M8", args = "-a"), |
101 Remote_Build("macbroy2", options = "-m32 -M8", args = "-a"), |
102 Remote_Build("macbroy2", options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty"), |
102 Remote_Build("macbroy2", options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty"), |
103 Remote_Build("macbroy2", options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs")), |
103 Remote_Build("macbroy2", options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs")), |
104 List(Remote_Build("macbroy30", options = "-m32 -M2", args = "-a")), |
104 List(Remote_Build("macbroy30", options = "-m32 -M2", args = "-a")), |