src/Pure/Admin/build_jdk.scala
changeset 65879 a43a079156a6
parent 65873 300beacd9875
child 66906 03a96b8c7c06
equal deleted inserted replaced
65878:effde31b1d9f 65879:a43a079156a6
   195           path1 = file1.toPath
   195           path1 = file1.toPath
   196           dir2 <- other_dirs.iterator
   196           dir2 <- other_dirs.iterator
   197         } {
   197         } {
   198           val path2 = dir2.resolve(main_dir.relativize(path1))
   198           val path2 = dir2.resolve(main_dir.relativize(path1))
   199           val file2 = path2.toFile
   199           val file2 = path2.toFile
   200           if (file2.isFile && File.eq_content(file1, file2)) {
   200           if (!Files.isSymbolicLink(path2) && file2.isFile && File.eq_content(file1, file2)) {
   201             file2.delete
   201             file2.delete
   202             Files.createLink(path2, path1)
   202             Files.createLink(path2, path1)
   203           }
   203           }
   204         }
   204         }
   205 
   205