src/Pure/Admin/build_release.scala
changeset 69403 258740767dc9
parent 69402 61f4c406d727
child 69405 22428643351f
--- 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")
       }
     }