jdk10/jdk10 is finally "JDK 10" :)
David
On 27/01/2017 10:26 AM, David Holmes wrote:
Hi Erik,
As now discovered the version can't be updated until quite a few changes
are made in hotspot due to deprecated/obsolete option handling.
https://bugs.openjdk.java.net/browse/JDK-8173421
I would suggest that this bug be taken over by hotspot team (maybe me :)
) and that everything is pushed to jdk10/dev instead of jdk10/hs so that
we can get this off the ground.
Thanks,
David
On 26/01/2017 11:56 PM, Erik Joelsson wrote:
The default major version for the jdk 10 repos needs to be updated from
9 to 10.
Bug: https://bugs.openjdk.java.net/browse/JDK-8029942
Patch:
diff -r 07f6f1f4140e common/autoconf/version-numbers
--- a/common/autoconf/version-numbers
+++ b/common/autoconf/version-numbers
@@ -25,7 +25,7 @@
# Default version numbers to use unless overridden by configure
-DEFAULT_VERSION_MAJOR=9
+DEFAULT_VERSION_MAJOR=10
DEFAULT_VERSION_MINOR=0
DEFAULT_VERSION_SECURITY=0
DEFAULT_VERSION_PATCH=0
/Erik
