# HG changeset patch
# User wenzelm
# Date 1602414583 -7200
# Node ID d0ba71b3297e8908ca8f01dfad98cdba7c54e14d
# Parent  7f6800b2e8c27b07bdb8843d9b95ebdb097c4391
tuned messages;

diff -r 7f6800b2e8c2 -r d0ba71b3297e src/Pure/Admin/build_csdp.scala
--- 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 {
diff -r 7f6800b2e8c2 -r d0ba71b3297e src/Pure/Admin/build_e.scala
--- a/src/Pure/Admin/build_e.scala	Sun Oct 11 13:03:22 2020 +0200
+++ b/src/Pure/Admin/build_e.scala	Sun Oct 11 13:09:43 2020 +0200
@@ -48,7 +48,7 @@
 
       /* build */
 
-      progress.echo("Building E prover ...")
+      progress.echo("Building E prover for " + platform_name + " ...")
 
       val build_dir = tmp_dir + Path.basic("E")
       val build_options =
diff -r 7f6800b2e8c2 -r d0ba71b3297e src/Pure/Admin/build_spass.scala
--- a/src/Pure/Admin/build_spass.scala	Sun Oct 11 13:03:22 2020 +0200
+++ b/src/Pure/Admin/build_spass.scala	Sun Oct 11 13:09:43 2020 +0200
@@ -79,7 +79,7 @@
 
       /* build */
 
-      progress.echo("Building SPASS ...")
+      progress.echo("Building SPASS for " + platform_name + " ...")
 
       val build_dir = tmp_dir + Path.basic(archive_base_name)
 
diff -r 7f6800b2e8c2 -r d0ba71b3297e src/Pure/Admin/build_verit.scala
--- 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)