--- 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 @@ + + + + +