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

android layout fixed

Browse Source
This commit is contained in:
Dmitry Jemerov
2013-05-07 13:36:39 +02:00
parent 0376f019a9
commit 8538b0d82b
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
build/scripts/layouts.gant
+7 -2
View File
@@ -219,7 +219,11 @@ def layoutFull(String home, String targetDirectory, String patchedDescriptorDir
//reorder(targetDirectory)
}
public def layoutCommunityPlugins(String home) {
public def layoutCommunityPlugins(String home, String androidHome=null) {
if (androidHome == null) {
androidHome = "$home/plugins/android"
}
dir("plugins") {
def simplePlugins = ["commander", "copyright", "properties", "java-i18n", "hg4idea", "github", "ui-designer-core", "tasks-time-tracking"]
@@ -449,9 +453,10 @@ public def layoutCommunityPlugins(String home) {
}
layoutPlugin("android") {
fileset(dir: "${home}/plugins/android/lib") {
fileset(dir: "${androidHome}/lib") {
include(name: "**/*.jar")
exclude(name: "**/ddmlib_1.jar")
exclude(name: "src/*.jar")
}
jar("android-common.jar") {