diff options
author | Tor Norbye <tnorbye@google.com> | 2013-11-12 11:38:08 -0800 |
---|---|---|
committer | Tor Norbye <tnorbye@google.com> | 2013-11-12 11:38:08 -0800 |
commit | ca797ca92f89d741686861c5505dde2c6b096dee (patch) | |
tree | 6d2ead31dbfe9ee4bbaf55cae921785847843646 /build | |
parent | b06f668f8d904aa0f20de8f4005276e559542918 (diff) | |
download | idea-ca797ca92f89d741686861c5505dde2c6b096dee.tar.gz |
Disable remote-servers-git
Change-Id: Ia675a2d54beb76b0cc931fc1652e9e25d7db6b1e
Diffstat (limited to 'build')
-rw-r--r-- | build/scripts/layouts.gant | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build/scripts/layouts.gant b/build/scripts/layouts.gant index d804b95bc8dd..5b9a25647f9e 100644 --- a/build/scripts/layouts.gant +++ b/build/scripts/layouts.gant @@ -336,11 +336,13 @@ public def layoutCommunityPlugins(String home) { jar("git4idea-rt.jar") { module("git4idea-rt") } +/* This dependency seems to be missing (not compiling correctly in CE either) if (!isDefined("pluginFilter")) {//temporary fix to exclude remote-servers-git module from layout for small IDEs because corresponding module isn't compiled jar("remote-servers-git.jar") { module("remote-servers-git") } } +*/ fileset(dir: "$home/plugins/git4idea/lib") { include(name: "trilead-ssh2.jar") } |