mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
build scripts: don't report error if an optional module from a plugin layout is missing
This commit is contained in:
+1
-1
@@ -364,7 +364,7 @@ idea.fatal.error.notification=disabled
|
||||
checkModules(layout.pluginModulesWithRestrictedCompatibleBuildRange, "productProperties.productLayout.pluginModulesWithRestrictedCompatibleBuildRange")
|
||||
checkProjectLibraries(layout.projectLibrariesToUnpackIntoMainJar, "productProperties.productLayout.projectLibrariesToUnpackIntoMainJar")
|
||||
nonTrivialPlugins.findAll {layout.enabledPluginModules.contains(it.mainModule)}.each { plugin ->
|
||||
checkModules(plugin.moduleJars.values(), "'$plugin.mainModule' plugin")
|
||||
checkModules(plugin.moduleJars.values() - plugin.optionalModules, "'$plugin.mainModule' plugin")
|
||||
checkModules(plugin.moduleExcludes.keySet(), "'$plugin.mainModule' plugin")
|
||||
checkProjectLibraries(plugin.includedProjectLibraries, "'$plugin.mainModule' plugin")
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user