changeset 90:51b6d8d173cd jdk6-b20

6877961: langtools build should allow more options when running jtreg Reviewed-by: mcimadamore
author jjg
date Fri, 11 Jun 2010 10:23:59 -0700
parents e568336564b8
children 9fff62a8e93b 748b44c7c40c 8b5712fa8c97
files make/build.xml
diffstat 1 files changed, 6 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/make/build.xml	Thu Jun 10 17:11:06 2010 -0700
+++ b/make/build.xml	Fri Jun 11 10:23:59 2010 -0700
@@ -662,13 +662,15 @@
             <attribute name="tests"/>
             <attribute name="jdk" default="${target.java.home}"/>
             <attribute name="samevm" default="true"/>
-            <attribute name="verbose" default="summary"/>
-            <attribute name="options" default=""/>
+            <attribute name="verbose" default="${default.jtreg.verbose}"/>
+            <attribute name="options" default="${other.jtreg.options}"/>
             <attribute name="keywords" default="-keywords:!ignore"/>
             <attribute name="jpda.jvmargs" default=""/>
             <sequential>
-                <property name="coverage.options" value=""/>    <!-- default -->
-                <property name="coverage.classpath" value=""/>    <!-- default -->
+                <property name="coverage.options" value=""/>              <!-- default -->
+                <property name="coverage.classpath" value=""/>            <!-- default -->
+                <property name="default.jtreg.verbose" value="summary"/>  <!-- default -->
+                <property name="other.jtreg.options" value=""/>           <!-- default -->
                 <jtreg
                     dir="${test.dir}"
                     workDir="${build.jtreg.dir}/@{name}/work"