src/Pure/Admin/build_jdk.scala
Fri, 19 May 2017 19:41:28 +0200 wenzelm avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra;
Fri, 19 May 2017 16:14:24 +0200 wenzelm updated to jdk-8u131;
Sun, 22 Jan 2017 16:45:58 +0100 wenzelm clarified owner;
Sun, 22 Jan 2017 16:15:08 +0100 wenzelm insist in proper GNU tar, to avoid subtle semantic differences;
Sun, 22 Jan 2017 15:02:06 +0100 wenzelm hardlink within JVM;
Sun, 22 Jan 2017 13:58:26 +0100 wenzelm tuned;
Sun, 22 Jan 2017 12:57:52 +0100 wenzelm tuned;
Sun, 22 Jan 2017 12:46:19 +0100 wenzelm tuned;
Sun, 22 Jan 2017 00:30:10 +0100 wenzelm build_jdk in Scala;
less more (0) tip