mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
build scripts: don't set 'mainModules' property for IDEA Community
This property is used to build searchable options index only, and that index is now built automatically for all plugins included into the product, so it makes sense to remove this property to simplify scripts. GitOrigin-RevId: 66c63e7eed2e38e1898c9844cf36e26f8effad90
This commit is contained in:
committed by
intellij-monorepo-bot
parent
4d722cf64e
commit
bab99a9c27
@@ -28,7 +28,6 @@ class IdeaCommunityProperties extends BaseIdeaProperties {
|
||||
]
|
||||
productLayout.additionalPlatformJars.put("resources.jar", "intellij.idea.community.resources")
|
||||
productLayout.bundledPluginModules = BUNDLED_PLUGIN_MODULES
|
||||
productLayout.mainModules = ["intellij.idea.community.main"]
|
||||
productLayout.compatiblePluginsToIgnore = PythonCommunityPluginModules.PYCHARM_ONLY_PLUGIN_MODULES + ["intellij.java.plugin"]
|
||||
productLayout.allNonTrivialPlugins = CommunityRepositoryModules.COMMUNITY_REPOSITORY_PLUGINS + [
|
||||
CommunityRepositoryModules.androidPlugin([:]),
|
||||
|
||||
Reference in New Issue
Block a user