mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
use 'jbrsdk' bundle (including src.zip), not 'jbr' for 'Update IDE from Sources…' action
GitOrigin-RevId: 8fd4b997d7122dc3d64527f5b55f4cd03eedbe63
This commit is contained in:
committed by
intellij-monorepo-bot
parent
1c147101e4
commit
f213896195
@@ -431,6 +431,10 @@ idea.fatal.error.notification=disabled
|
||||
'setupJbre', "-Dintellij.build.target.os=$buildContext.options.targetOS",
|
||||
"-Dintellij.build.bundled.jre.version=$buildContext.options.bundledJreVersion"
|
||||
]
|
||||
String prefix = System.getProperty("intellij.build.bundled.jre.prefix")
|
||||
if (prefix != null) {
|
||||
args += "-Dintellij.build.bundled.jre.prefix=$prefix"
|
||||
}
|
||||
if (buildContext.options.bundledJreBuild != null) {
|
||||
args += "-Dintellij.build.bundled.jre.build=$buildContext.options.bundledJreBuild"
|
||||
}
|
||||
|
||||
@@ -307,6 +307,7 @@ open class UpdateIdeFromSourcesAction
|
||||
params.programParametersList.add(scriptFile.absolutePath)
|
||||
params.programParametersList.add("update-from-sources")
|
||||
params.vmParametersList.add("-D$includeBinAndRuntimeProperty=true")
|
||||
params.vmParametersList.add("-Dintellij.build.bundled.jre.prefix=jbrsdk-")
|
||||
if (bundledPluginDirsToSkip.isNotEmpty()) {
|
||||
params.vmParametersList.add("-Dintellij.build.bundled.plugin.dirs.to.skip=${bundledPluginDirsToSkip.joinToString(",")}")
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user