--- jsr166/build.xml 2018/06/22 18:55:33 1.274
+++ jsr166/build.xml 2018/07/18 01:16:42 1.275
@@ -23,11 +23,13 @@
$HOME/jdk/jdk9
$HOME/jdk/jdk10
$HOME/jdk/jdk11
+ $HOME/jdk/jdk12
where each of the above is a JDK or a symlink to same, and
$HOME/jdk/src/jdk8
$HOME/jdk/src/jdk9
$HOME/jdk/src/jdk10
$HOME/jdk/src/jdk11
+ $HOME/jdk/src/jdk12
where each of the above is a complete JDK source tree
(e.g. mercurial forest) or a symlink to same.
@@ -136,6 +138,7 @@
+
@@ -147,6 +150,7 @@
+
@@ -197,6 +201,7 @@
+
@@ -208,6 +213,7 @@
+
@@ -321,6 +327,7 @@
+
@@ -607,7 +614,7 @@
-
@@ -625,6 +632,11 @@
+
+
+
+
+