bootstrap.xml generates idea.properties

2011-04-01 13:31:26 +02:00
parent 1fc037470a
commit 02058efd2c
1 changed files with 1 additions and 0 deletions
@@ -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>