MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

more reliable version check

Browse Source
This commit is contained in:
Eugene Zhuravlev
2014-12-22 18:38:00 +01:00
parent a5a6638cef
commit c60bdddb09
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jps/jps-builders/src/org/jetbrains/jps/javac/JavacMain.java
+1 -2
View File
@@ -193,8 +193,7 @@ public class JavacMain {
private static boolean canUseOptimizedFileManager(JavaCompilingTool compilingTool) {
// since java 9 internal API's used by the optimizedFileManager have changed
return compilingTool instanceof JavacCompilerTool &&
(JAVA_VERSION.contains("1.6") || JAVA_VERSION.contains("1.7") || JAVA_VERSION.contains("1.8"));
return compilingTool instanceof JavacCompilerTool && !SystemInfo.isJavaVersionAtLeast("1.9");
}
private static void handleCancelException(DiagnosticOutputConsumer diagnosticConsumer) {