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

[java] don't override user options

Browse Source 
especially important for not yet supported language levels

GitOrigin-RevId: 6274806e3ee49092ee71849f3a8aba13c63d9787
This commit is contained in:
Anna Kozlova
2022-02-04 15:35:06 +00:00
committed by intellij-monorepo-bot
parent 87120a038c
commit 8e5eb0ca25
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jps/jps-builders/src/org/jetbrains/jps/incremental/java/JavaBuilder.java
+2 -2
View File
@@ -1,4 +1,4 @@
// Copyright 2000-2021 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
// Copyright 2000-2022 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
package org.jetbrains.jps.incremental.java;
import com.intellij.openapi.diagnostic.Logger;
@@ -1038,7 +1038,7 @@ public final class JavaBuilder extends ModuleLevelBuilder {
}
// using older -source, -target and -bootclasspath options
if (languageLevel > 0) {
if (languageLevel > 0 && !options.contains(SOURCE_OPTION)) {
options.add(SOURCE_OPTION);
options.add(complianceOption(languageLevel));
}