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 Remote_Build("vmnipkow9", options = "-m32 -M4", shared_home = false)) |
111 |
111 |
112 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 = |
113 { |
113 { |
114 val task_name = "build_history-" + r.host |
114 val task_name = "build_history-" + r.host |
115 Logger_Task(task_name, logger => |
115 Logger_Task(task_name, logger => |