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

Fix Python Community build script

Browse Source 
(cherry picked from commit 903c96df243ce6514e8d071a0dca8a9e86402463)
This commit is contained in:
Dmitry Trofimov
2016-11-22 12:58:08 +01:00
parent cee6e8fcf4
commit 1d80d07f69
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/build/python_plugin_build.gant
+3
View File
@@ -37,11 +37,13 @@ target('default': "Build Python Plugin") {
"IntelliLang-python",
"ipnb",
"python-openapi",
"python-community-configure",
"python-community-plugin-core",
"python-community-plugin-java",
"python-psi-api",
"python-pydev",
"python-community-ide-resources",
"python-community-plugin-resources",
"python-community"
]
@@ -123,6 +125,7 @@ target('default': "Build Python Plugin") {
communityModules.each {
module(it) {
exclude(name: "**/plugin.xml")
exclude(name: "**/python-community-configure-ide.xml")
exclude(name: "**/python-plugin-dependencies.xml")
}
}