# HG changeset patch
# User wenzelm
# Date 1609942488 -3600
# Node ID 99b77188d4f74eb483797ecf9c3d8924d54f1705
# Parent  198fe1e7ed323609cece3f537263faca189a9ea4
discontinued somethat pointless sharing: too complicated;

diff -r 198fe1e7ed32 -r 99b77188d4f7 src/Pure/Admin/build_jdk.scala
--- a/src/Pure/Admin/build_jdk.scala	Wed Jan 06 15:08:21 2021 +0100
+++ b/src/Pure/Admin/build_jdk.scala	Wed Jan 06 15:14:48 2021 +0100
@@ -201,22 +201,6 @@
           Files.setPosixFilePermissions(path, perms)
         }
 
-        progress.echo("Sharing ...")
-        val all_files: Multi_Map[SHA1.Digest, JFile] =
-          (Multi_Map.empty[SHA1.Digest, JFile] /:
-            File.find_files(component_dir.file, file => Files.isSymbolicLink(file.toPath)))
-          {
-            case (seen, file) =>
-              val digest = SHA1.digest(Bytes.read(file))
-              seen.insert(digest, file)
-          }
-        for ((_, file1 :: files2) <- all_files.iterator_list; file2 <- files2) {
-          if (file2.isFile && File.eq_content(file1, file2)) {
-            file2.delete
-            Files.createLink(file2.toPath, file1.toPath)
-          }
-        }
-
         progress.echo("Archiving ...")
         Isabelle_System.gnutar(
           "-czf " + File.bash_path(target_dir + jdk_path.ext("tar.gz")) + " " + jdk_name,