src/Pure/Admin/build_release.scala

--- a/src/Pure/Admin/build_release.scala	Sat Mar 04 21:41:16 2023 +0100
+++ b/src/Pure/Admin/build_release.scala	Sat Mar 04 22:29:21 2023 +0100
@@ -260,7 +260,7 @@
           ssh.read_file(remote_tmp_tar, local_tmp_tar)
         }
         execute_tar(local_dir, "-xvf " + File.bash_path(local_tmp_tar))
-          .out_lines.sorted.foreach(progress.echo)
+          .out_lines.sorted.foreach(progress.echo(_))
       }
     }
     finally { ssh.close() }