changeset 72440 | d0ba71b3297e |
parent 72439 | 7f6800b2e8c2 |
child 72441 | a3257d0e8bbb |
--- a/src/Pure/Admin/build_verit.scala Sun Oct 11 13:03:22 2020 +0200 +++ b/src/Pure/Admin/build_verit.scala Sun Oct 11 13:09:43 2020 +0200 @@ -97,7 +97,7 @@ /* build */ - progress.echo("Building veriT ...") + progress.echo("Building veriT for " + platform_name + " ...") val build_dir = tmp_dir + Path.basic(source_name)