src/Pure/Admin/build_csdp.scala

         cwd = component_dir.file).check
 
 
       /* build */
 
-      progress.echo("Building CSDP ...")
+      progress.echo("Building CSDP for " + platform_name + " ...")
 
       val build_dir = tmp_dir + Path.basic(source_name)
       build_flags.find(flags => flags.platform == platform_name) match {
         case None => error("No build flags for platform " + quote(platform_name))
         case Some(flags) =>