From 756d0a06d984829e4000d9ab68e589d65ec614f3 Mon Sep 17 00:00:00 2001
From: Yan Zhulanow <yan.zhulanow@jetbrains.com>
Date: Wed, 18 Feb 2015 17:36:40 +0300
Subject: [PATCH] Remove obsolete "frontend.android" paths

---
 build.xml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/build.xml b/build.xml
index 7583d5083c6..7dc966f85cb 100644
--- a/build.xml
+++ b/build.xml
@@ -93,7 +93,6 @@
         <include name="core/serialization/src"/>
         <include name="core/descriptor.loader.java/src"/>
         <include name="core/serialization.jvm/src"/>
-        <include name="compiler/frontend.android/src"/>
         <include name="core/util.runtime/src"/>
         <include name="compiler/frontend/src"/>
         <include name="compiler/frontend.java/src"/>
@@ -120,7 +119,6 @@
         <include name="descriptor.loader.java/**"/>
         <include name="frontend.java/**"/>
         <include name="serialization.jvm/**"/>
-        <include name="frontend.android/**"/>
         <include name="backend/**"/>
         <include name="backend-common/**"/>
         <include name="cli/**"/>