make remote-servers-git module optional (depends on java-impl)

2026-09-27 10:03:11 +07:00 · 2014-09-23 16:38:19 +04:00
parent e692d5be95
commit 97a768048a
1 changed files with 1 additions and 1 deletions
@@ -365,7 +365,7 @@ public def layoutCommunityPlugins(String home) {
        module("git4idea-rt")
      }
      jar("remote-servers-git.jar") {
-        module("remote-servers-git")
+        moduleOptional("remote-servers-git")
      }
      fileset(dir: "$home/plugins/git4idea/lib") {
        include(name: "trilead-ssh2.jar")