infernap12/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2026-05-12 14:39:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

8180745: Add --release 10 as an alias for --release 9

Browse Source 
Reviewed-by: mcimadamore
This commit is contained in:
Jan Lahoda 2017-05-22 15:50:09 +02:00
parent e7d1ee0e49
commit 095e01f970
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/platform/JDKPlatformProvider.java
View File

@ -66,7 +66,7 @@ public class JDKPlatformProvider implements PlatformProvider {
@Override
public PlatformDescription getPlatform(String platformName, String options) {
return new PlatformDescriptionImpl(platformName);
return new PlatformDescriptionImpl(platformName.equals("10") ? "9" : platformName);
}
private static final String[] symbolFileLocation = { "lib", "ct.sym" };
@ -93,6 +93,10 @@ public class JDKPlatformProvider implements PlatformProvider {
} catch (IOException | ProviderNotFoundException ex) {
}
}
if (SUPPORTED_JAVA_PLATFORM_VERSIONS.contains("9")) {
SUPPORTED_JAVA_PLATFORM_VERSIONS.add("10");
}
}
private static String targetNumericVersion(Target target) {