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 coverage: move coverage platform module from java coverage plugin JAR to IDEA's platform JAR

Browse Source 
This is required since registration of coverage components was moved to JavaIdePlugin.xml.
This commit is contained in:
nik
2019-03-25 14:11:46 +03:00
parent 3a8d817075
commit 93d7795bd9
2 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/build-scripts/groovy/org/jetbrains/intellij/build/CommunityRepositoryModules.groovy
-1
View File
@@ -210,7 +210,6 @@ class CommunityRepositoryModules {
withModule("intellij.eclipse.common")
},
plugin("intellij.java.coverage") {
withModule("intellij.platform.coverage", mainJarName)
withModule("intellij.java.coverage.rt")
withProjectLibrary("JaCoCo") //todo[nik] convert to module library
},
platform/build-scripts/groovy/org/jetbrains/intellij/build/impl/DistributionJARsBuilder.groovy
+1 -1
View File
@@ -129,7 +129,7 @@ class DistributionJARsBuilder {
withModule("intellij.platform.jps.model.serialization", "jps-model.jar")
withModule("intellij.platform.jps.model.impl", "jps-model.jar")
if (allProductDependencies.contains("intellij.platform.coverage") && !productLayout.bundledPluginModules.contains("intellij.java.coverage")) {
if (allProductDependencies.contains("intellij.platform.coverage")) {
withModule("intellij.platform.coverage", productLayout.mainJarName)
}