equal
deleted
inserted
replaced
103 val session_setup: (String, Session) => Unit, |
103 val session_setup: (String, Session) => Unit, |
104 val build_uuid: String, |
104 val build_uuid: String, |
105 val master: Boolean |
105 val master: Boolean |
106 ) { |
106 ) { |
107 override def toString: String = |
107 override def toString: String = |
108 "Build_Process.Context(build_uuid = " + quote(build_uuid) + ")" |
108 "Build_Process.Context(build_uuid = " + quote(build_uuid) + |
|
109 if_proper(master, ", master = true") + ")" |
109 |
110 |
110 def build_options: Options = store.options |
111 def build_options: Options = store.options |
111 |
112 |
112 def sessions_structure: Sessions.Structure = build_deps.sessions_structure |
113 def sessions_structure: Sessions.Structure = build_deps.sessions_structure |
113 |
114 |