src/Pure/Build/build_manager.scala

         }
 
         def render_diff(data: Report.Data, components: List[Component]): XML.Body =
           par(List(page_link(Page.BUILD, "back to build", Markup.Name(build.name)))) ::
           (for (component <- components if !component.is_local) yield {
-            par(
-              text(component.name) :::
+            val infos = 
               data.component_logs.toMap.get(component.name).toList.flatMap(colored) :::
-              data.component_diffs.toMap.get(component.name).toList.flatMap(colored))
+              data.component_diffs.toMap.get(component.name).toList.flatMap(colored)
+
+            par(if (infos.isEmpty) text(component.toString) else text(component.name) ::: infos)
           })
 
         build match {
           case job: Job =>
             render_diff(cache.lookup(store.report(job.kind, job.id)), job.components)