mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Added file with the list of built plugins
This commit is contained in:
+5
@@ -41,5 +41,10 @@ class PythonCommunityPluginBuilder {
|
||||
ProprietaryBuildTools.DUMMY, options)
|
||||
def buildTasks = BuildTasks.create(buildContext)
|
||||
buildTasks.buildDistributions()
|
||||
def pluginsPaths = new File("$buildContext.paths.buildOutputRoot/plugins-paths.txt")
|
||||
pluginsPaths.text = new File("$buildContext.paths.artifacts/plugins")
|
||||
.listFiles()
|
||||
.collect { it.toString() }
|
||||
.join("\n")
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user