mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
build scripts: move description of error-prone plugin layout to community
Otherwise its zip file is built incorrectly in 'IC-plugins' artifacts.
This commit is contained in:
+3
@@ -215,6 +215,9 @@ class CommunityRepositoryModules {
|
||||
withModule("coverage_rt")
|
||||
withProjectLibrary("JaCoCo") //todo[nik] convert to module library
|
||||
},
|
||||
plugin("error-prone") {
|
||||
withModule("error-prone-jps-plugin", "jps/error-prone-jps-plugin.jar")
|
||||
},
|
||||
plugin("java-decompiler-plugin") {
|
||||
directoryName = "java-decompiler"
|
||||
mainJarName = "java-decompiler.jar"
|
||||
|
||||
Reference in New Issue
Block a user