From 2fb541b0f81256f9c099488513d701541c678cfd Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Thu, 1 Apr 2010 15:41:18 +0400
Subject: [PATCH] take idea.properties from correct place

---
 python/build/pycharm_build.gant | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/python/build/pycharm_build.gant b/python/build/pycharm_build.gant
index 8cde07af63c0..33c7953127e7 100644
--- a/python/build/pycharm_build.gant
+++ b/python/build/pycharm_build.gant
@@ -380,7 +380,13 @@ def layoutFull(String target, Set usedJars) {
     layouts.layoutPlugins()
 
     dir("bin") {
-      fileset(dir: "$home/community/bin") { include(name: "*.*") }
+      fileset(dir: "$home/community/bin") {
+        include(name: "*.*")
+        exclude(name: "idea.properties")
+      }
+      fileset(dir: "$home/python/build") {
+        include(name: "idea.properties")
+      }
     }
   }
 }