equal
deleted
inserted
replaced
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="jtreg.tests" value="$FilePath$" /> |
6 <property name="langtools.jdk.home" value="@IDEA_TARGET_JDK@" /> |
7 <property name="langtools.jdk.home" value="@IDEA_TARGET_JDK@" /> |
|
8 <property name="jtreg.home" value="@IDEA_JTREG_HOME@" /> |
|
9 <property name="jtreg.jpda.jvmargs" value="-agentlib:jdwp=transport=dt_socket,server=n,suspend=y,address=5900" /> |
|
10 </properties> |
7 </properties> |
11 <executeOn event="afterCompilation" target="post-make" /> |
8 <executeOn event="afterCompilation" target="post-make" /> |
12 </buildFile> |
9 </buildFile> |
13 </component> |
10 </component> |
14 </project> |
11 </project> |