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

build scripts: report error if prepareCustomPluginRepositoryForPublishedPlugins option is specified but there are no plugins to publish

Browse Source
This commit is contained in:
nik
2017-05-16 08:55:31 +03:00
parent d15b92d4f9
commit fac9e45379
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/build-scripts/groovy/org/jetbrains/intellij/build/impl/BuildTasksImpl.groovy
+4
View File
@@ -374,6 +374,10 @@ idea.fatal.error.notification=disabled
checkPluginModules(layout.bundledPluginModules, "productProperties.productLayout.bundledPluginModules", optionalModules)
checkPluginModules(layout.pluginModulesToPublish, "productProperties.productLayout.pluginModulesToPublish", optionalModules)
if (layout.prepareCustomPluginRepositoryForPublishedPlugins && layout.pluginModulesToPublish.isEmpty()) {
buildContext.messages.error("productProperties.productLayout.prepareCustomPluginRepositoryForPublishedPlugins option is enabled but no pluginModulesToPublish are specified")
}
checkModules(layout.platformApiModules, "productProperties.productLayout.platformApiModules")
checkModules(layout.platformImplementationModules, "productProperties.productLayout.platformImplementationModules")
checkModules(layout.additionalPlatformJars.values(), "productProperties.productLayout.additionalPlatformJars")