equal
deleted
inserted
replaced
797 --> |
797 --> |
798 |
798 |
799 <target name="idea"> |
799 <target name="idea"> |
800 <mkdir dir=".idea"/> |
800 <mkdir dir=".idea"/> |
801 <copy todir=".idea" > |
801 <copy todir=".idea" > |
802 <fileset dir="make/intellij" includes="**"/> |
802 <fileset dir="make/intellij" excludes="**/src/**"/> |
803 </copy> |
803 </copy> |
804 <replace file=".idea/ant.xml" token="@@@" value="${jtreg.home}"/> |
804 <condition property="jtreg.idea.home" value="${jtreg.home}" else = "[jtreg.home]"> |
|
805 <isset property="jtreg.home"/> |
|
806 </condition> |
|
807 <replace file=".idea/ant.xml" token="@@@" value="${jtreg.idea.home}"/> |
|
808 <mkdir dir=".idea/classes"/> |
|
809 <javac srcdir="make/intellij/src" |
|
810 destdir=".idea/classes"/> |
805 </target> |
811 </target> |
806 |
812 |
807 <!-- |
813 <!-- |
808 **** Check targets. |
814 **** Check targets. |
809 **** "-check-*" targets check that a required property is set, and set to a reasonable value. |
815 **** "-check-*" targets check that a required property is set, and set to a reasonable value. |