changeset 72440 | d0ba71b3297e |
parent 72438 | 90c6e9a83c1e |
child 72442 | 90868036d693 |
--- a/src/Pure/Admin/build_csdp.scala Sun Oct 11 13:03:22 2020 +0200 +++ b/src/Pure/Admin/build_csdp.scala Sun Oct 11 13:09:43 2020 +0200 @@ -115,7 +115,7 @@ /* 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 {