make/langtools/intellij/ant.xml
changeset 47217 72e3ae9a25eb
parent 47216 71c04702a3d5
child 51266 f8696e0ab9b7
equal deleted inserted replaced
47216:71c04702a3d5 47217:72e3ae9a25eb
     1 <?xml version="1.0" encoding="UTF-8"?>
     1 <?xml version="1.0" encoding="UTF-8"?>
     2 <project version="4">
     2 <project version="4">
     3   <component name="AntConfiguration">
     3   <component name="AntConfiguration">
     4     <buildFile url="file://$PROJECT_DIR$/.idea/build.xml">
     4     <buildFile url="file://$PROJECT_DIR$/.idea/build.xml">
     5       <properties>
     5       <properties>
     6 	<property name="langtools.jdk.home" value="@IDEA_TARGET_JDK@" />
     6 	    <property name="langtools.jdk.home" value="@IDEA_TARGET_JDK@" />
       
     7         <property name="intellij.ismake" value="$IsMake$" />
     7       </properties>
     8       </properties>
     8       <executeOn event="afterCompilation" target="post-make" />
     9       <executeOn event="afterCompilation" target="post-make" />
     9     </buildFile>
    10     </buildFile>
    10   </component>
    11   </component>
    11 </project>
    12 </project>