--- jsr166/build.xml 2018/06/22 18:55:33 1.274
+++ jsr166/build.xml 2018/10/01 03:04:48 1.279
@@ -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 @@
+
@@ -193,11 +197,15 @@
+
-
+
+
+
+
@@ -208,6 +216,7 @@
+
@@ -321,6 +330,7 @@
+
@@ -381,7 +391,7 @@
-
+
@@ -473,17 +483,17 @@
-
+
@@ -607,22 +617,41 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1386,7 +1415,7 @@