Community Edition build script: do not fail if Android sources are missing

build/scripts/dist.gant

@@ -45,6 +45,8 @@ class Paths {
 def paths = new Paths(out)
 setProperty("paths", paths)
 
+setProperty("maySkipAndroidPlugin", true)
+
 target(compile: "Compile project") {
   loadProject()
 

build/scripts/layouts.gant

@@ -254,7 +254,12 @@ def layoutFull(String home, String targetDirectory, String patchedDescriptorDir
 }
 
 public def layoutCommunityPlugins(String home) {
-  layoutAndroid("$home/android")
+  if (!isDefined("maySkipAndroidPlugin") || new File("$home/android").exists()) {
+    layoutAndroid("$home/android")
+  }
+  else {
+    projectBuilder.warning("Android plugin sources aren't found at $home/android. Android plugin is excluded from layout.")
+  }
 
   dir("plugins") {
     def simplePlugins = ["commander", "copyright", "java-i18n", "hg4idea", "github"] //, "tasks-time-tracking"]