# HG changeset patch
# User wenzelm
# Date 1544042154 -3600
# Node ID 258740767dc9999b2ebc47a48d7108af4cccc532
# Parent  61f4c406d7277cb3d73e924969f560ae39531d56
tuned messages;

diff -r 61f4c406d727 -r 258740767dc9 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Dec 05 21:15:18 2018 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Dec 05 21:35:54 2018 +0100
@@ -566,7 +566,7 @@
 
           // platform-specific application (outside archive)
 
-          progress.echo("Application for " + platform)
+          progress.echo("Application for " + platform + " ...")
 
           if (platform == "linux") {
             File.link(
@@ -658,6 +658,7 @@
             Isabelle_System.bash("chmod +x " + (release.dist_dir + isabelle_exe)).check
           }
         })
+        progress.echo("DONE")
       }
     }