src/Pure/System/cygwin.scala
changeset 73892 2847a3deedf9
parent 73890 8f6b2eb15240
child 73893 eb7655fcb090
equal deleted inserted replaced
73891:6c9044f04756 73892:2847a3deedf9
    57   }
    57   }
    58 
    58 
    59   def link(content: String, target: JFile): Unit =
    59   def link(content: String, target: JFile): Unit =
    60   {
    60   {
    61     val target_path = target.toPath
    61     val target_path = target.toPath
    62 
    62     Files.writeString(target_path, "!<symlink>" + content + "\u0000")
    63     using(Files.newBufferedWriter(target_path, UTF8.charset))(
       
    64       _.write("!<symlink>" + content + "\u0000"))
       
    65 
       
    66     Files.setAttribute(target_path, "dos:system", true)
    63     Files.setAttribute(target_path, "dos:system", true)
    67   }
    64   }
    68 }
    65 }