8ba15f464a
Add support for target.java.home option to the idea target Reviewed-by: jlahoda
19 lines
765 B
XML
19 lines
765 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project version="4">
|
|
<component name="AntConfiguration">
|
|
<buildFile url="file://$PROJECT_DIR$/.idea/build.xml">
|
|
<properties>
|
|
<property name="boot.java.home" value="$JDKPath$" />
|
|
<property name="jtreg.tests" value="$FilePath$" />
|
|
<property name="target.java.home" value="@IDEA_TARGET_JDK@" />
|
|
<property name="jtreg.home" value="@IDEA_JTREG_HOME@" />
|
|
<property name="javac.debuglevel" value="source,lines,vars" />
|
|
<property name="jtreg.jpda.jvmargs" value="-agentlib:jdwp=transport=dt_socket,server=n,address=localhost:5900,suspend=y" />
|
|
</properties>
|
|
<executeOn event="afterCompilation" target="post-make" />
|
|
</buildFile>
|
|
</component>
|
|
</project>
|
|
|
|
|