changeset 3697:5adb61e143dc

8167456: Tweak IntelliJ langtools project's jtreg settings Summary: Adjust IntelliJ project template to reflect new serialized format of jtreg plugin settings Reviewed-by: jlahoda
author mcimadamore
date Tue, 11 Oct 2016 10:56:09 +0100
parents fe8352e43bdb
children 47a06846f4a4
files make/intellij/misc.xml
diffstat 1 files changed, 8 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/make/intellij/misc.xml	Tue Oct 11 10:31:10 2016 +0200
+++ b/make/intellij/misc.xml	Tue Oct 11 10:56:09 2016 +0100
@@ -4,14 +4,17 @@
     <entry_points version="2.0" />
   </component>
   <component name="JTRegService">
-    <option name="JTRegDir" value="@IDEA_JTREG_HOME@" />
-    <option name="JTRegOptions" value='@XPATCH@' />
-    <option name="alternativeJrePath" value="@IDEA_TARGET_JDK@" />
-    <option name="alternativeJrePathEnabled" value="true" />
-    <option name="workDir" value="build" />
+    <path>@IDEA_JTREG_HOME@</path>
+    <workDir>build</workDir>
+    <jre alt="true" value="@IDEA_TARGET_JDK@" />
+    <options>@XPATCH@</options>
+    <ant>
+      <target file="file://$PROJECT_DIR$/.idea/build.xml" name="build-all-classes" />
+    </ant>
   </component>
   <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/.idea/out" />
   </component>
 </project>
 
+