equal
deleted
inserted
replaced
200 |
200 |
201 |
201 |
202 /* output log */ |
202 /* output log */ |
203 |
203 |
204 val meta_info = |
204 val meta_info = |
205 (if (build_tags.isEmpty) Nil |
205 Build_Log.Prop.lines(Build_Log.Prop.build_tags, build_tags) ::: |
206 else List(Build_Log.Prop.build_tags -> Word.implode(build_tags))) ::: |
206 Build_Log.Prop.lines(Build_Log.Prop.build_args, build_args) ::: |
207 List( |
207 List( |
208 Build_Log.Prop.build_group_id -> build_group_id, |
208 Build_Log.Prop.build_group_id -> build_group_id, |
209 Build_Log.Prop.build_id -> (build_host + ":" + build_start.time.ms), |
209 Build_Log.Prop.build_id -> (build_host + ":" + build_start.time.ms), |
210 Build_Log.Prop.build_engine -> BUILD_HISTORY, |
210 Build_Log.Prop.build_engine -> BUILD_HISTORY, |
211 Build_Log.Prop.build_host -> build_host, |
211 Build_Log.Prop.build_host -> build_host, |