author | wenzelm |
Wed, 05 Dec 2018 21:35:54 +0100 | |
changeset 69403 | 258740767dc9 |
parent 69402 | 61f4c406d727 |
child 69404 | de88761edbe2 |
--- 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") } }