--- a/src/Pure/Admin/build_jdk.scala Wed Dec 05 19:42:40 2018 +0100
+++ b/src/Pure/Admin/build_jdk.scala Wed Dec 05 21:15:18 2018 +0100
@@ -120,8 +120,7 @@
val platform_dir = dir + Path.explode(platform.name)
if (platform_dir.is_dir) error("Directory already exists: " + platform_dir)
- val jre_path = jdk_dir + Path.explode(platform.home) + Path.explode("jre")
- Isabelle_System.bash("ln -s . " + File.bash_path(jre_path)).check
+ File.link(Path.current, jdk_dir + Path.explode(platform.home) + Path.explode("jre"))
File.move(jdk_dir, platform_dir)