# 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") } }