From eb72dd733a8631f8ab45b2b1236d7a1caec15e29 Mon Sep 17 00:00:00 2001
From: Alexey Gopachenko <neuro159@gmail.com>
Date: Wed, 4 Mar 2015 11:04:38 +0100
Subject: [PATCH] allow to select specific gant target

---
 build/gant.xml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/build/gant.xml b/build/gant.xml
index 88f2749a3f13..d08d6865d828 100644
--- a/build/gant.xml
+++ b/build/gant.xml
@@ -3,7 +3,12 @@
   <property name="project.home" value="${build.dir}/.."/>
   <property name="gant.home" value="${project.home}/build/lib/gant"/>
   <property name="idea.lib" value="${project.home}/lib"/>
-  <property name="gant.target" value="default"/>
+
+  <condition property="gant.target" value="default">
+    <not>
+      <isset property="gant.target"/>
+    </not>
+  </condition>
 
   <path id="gant.classpath">
     <fileset dir="${gant.home}/lib">