--- a/src/Pure/System/isabelle_system.scala Mon Jun 28 14:24:50 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala Mon Jun 28 14:43:33 2021 +0200
@@ -251,12 +251,13 @@
if (force) target.delete
+ def cygwin_link(): Unit =
+ Isabelle_Env.cygwin_link(File.standard_path(src), target)
+
try { Files.createSymbolicLink(target.toPath, src_file.toPath) }
catch {
- case _: UnsupportedOperationException if Platform.is_windows =>
- Cygwin.link(File.standard_path(src), target)
- case _: FileSystemException if Platform.is_windows =>
- Cygwin.link(File.standard_path(src), target)
+ case _: UnsupportedOperationException if Platform.is_windows => cygwin_link()
+ case _: FileSystemException if Platform.is_windows => cygwin_link()
}
}