104 private val remote_builds = |
104 private val remote_builds = |
105 List( |
105 List( |
106 Remote_Build("lxbroy10", options = "-m32 -M4 -N"), |
106 Remote_Build("lxbroy10", options = "-m32 -M4 -N"), |
107 Remote_Build("macbroy2", options = "-m32 -M4"), |
107 Remote_Build("macbroy2", options = "-m32 -M4"), |
108 Remote_Build("macbroy30", options = "-m32 -M2"), |
108 Remote_Build("macbroy30", options = "-m32 -M2"), |
109 Remote_Build("macbroy31", options = "-m32 -M2")) |
109 Remote_Build("macbroy31", options = "-m32 -M2"), |
|
110 Remote_Build("vmnipkow9", options = "-m32 -M1,2,4", shared_home = false)) |
110 |
111 |
111 private def remote_build_history(rev: String, r: Remote_Build): Logger_Task = |
112 private def remote_build_history(rev: String, r: Remote_Build): Logger_Task = |
112 { |
113 { |
113 val task_name = "build_history-" + r.host |
114 val task_name = "build_history-" + r.host |
114 Logger_Task(task_name, logger => |
115 Logger_Task(task_name, logger => |