src/Pure/Admin/build_release.scala

 
 
           // archive
 
           val archive_name = isabelle_name + "_" + platform + ".tar.gz"
-          progress.echo("Packaging " + archive_name)
+          progress.echo("Packaging " + archive_name + " ...")
           execute_tar(tmp_dir,
             "-czf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
             Bash.string(isabelle_name))