# HG changeset patch
# User wenzelm
# Date 1609942101 -3600
# Node ID 198fe1e7ed323609cece3f537263faca189a9ea4
# Parent  178c9d04e08cf1367b2ffa250c2205f88fc784a9
less verbose;

diff -r 178c9d04e08c -r 198fe1e7ed32 src/Pure/Admin/build_jdk.scala
--- a/src/Pure/Admin/build_jdk.scala	Wed Jan 06 14:58:13 2021 +0100
+++ b/src/Pure/Admin/build_jdk.scala	Wed Jan 06 15:08:21 2021 +0100
@@ -213,7 +213,6 @@
         for ((_, file1 :: files2) <- all_files.iterator_list; file2 <- files2) {
           if (file2.isFile && File.eq_content(file1, file2)) {
             file2.delete
-            progress.echo(file1 + " -> " + file2)
             Files.createLink(file2.toPath, file1.toPath)
           }
         }