mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-27 23:04:50 +02:00
8030793: Update jprt.properties to release jdk9
Reviewed-by: chegar
This commit is contained in:
parent
d9706a03a2
commit
d914e2bc34
1 changed files with 1 additions and 1 deletions
|
@ -26,7 +26,7 @@
|
|||
# Properties for jprt
|
||||
|
||||
# Locked down to jdk8
|
||||
jprt.tools.default.release=jdk8
|
||||
jprt.tools.default.release=jdk9
|
||||
|
||||
# Unix toolkit to use for building on windows
|
||||
jprt.windows.jdk8.build.unix.toolkit=cygwin
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue