From 02058efd2c758ae02838e7a4adfff789494d52f9 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Fri, 1 Apr 2011 13:31:26 +0200
Subject: [PATCH] bootstrap.xml generates idea.properties

---
 bootstrap.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bootstrap.xml b/bootstrap.xml
index 1697aacc6b7..dc7c8bd8763 100644
--- a/bootstrap.xml
+++ b/bootstrap.xml
@@ -3,5 +3,6 @@
         <unzip dest="ideaSDK">
             <fileset dir="ideaSDK" includes="ideaIC*.zip"/>
         </unzip>
+        <echo file="idea/idea.properties" message="idea.home=${basedir}/ideaSDK"/>
     </target>
 </project>