mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Use shorter build path for Python Community plugin
This commit is contained in:
+1
-1
@@ -35,7 +35,7 @@ class PythonCommunityPluginBuilder {
|
||||
|
||||
def build() {
|
||||
def pluginBuildNumber = System.getProperty("build.number", "SNAPSHOT")
|
||||
def options = new BuildOptions(targetOS: BuildOptions.OS_NONE, buildNumber: pluginBuildNumber)
|
||||
def options = new BuildOptions(targetOS: BuildOptions.OS_NONE, buildNumber: pluginBuildNumber, outputRootPath: "$home/out/pycharmCE")
|
||||
def buildContext = BuildContext.createContext(binding.ant, binding.projectBuilder, binding.project, binding.global,
|
||||
home, home, new PythonCommunityPluginProperties(pluginBuildNumber),
|
||||
ProprietaryBuildTools.DUMMY, options)
|
||||
|
||||
Reference in New Issue
Block a user