Fri, 11 Jun 2010 07:12:07 -0700
6877961: langtools build should allow more options when running jtreg
Reviewed-by: mcimadamore
make/build.xml | file | annotate | diff | comparison | revisions |
1.1 --- a/make/build.xml Thu Jun 10 17:09:56 2010 -0700 1.2 +++ b/make/build.xml Fri Jun 11 07:12:07 2010 -0700 1.3 @@ -863,13 +863,15 @@ 1.4 <attribute name="tests"/> 1.5 <attribute name="jdk" default="${target.java.home}"/> 1.6 <attribute name="samevm" default="true"/> 1.7 - <attribute name="verbose" default="summary"/> 1.8 - <attribute name="options" default=""/> 1.9 + <attribute name="verbose" default="${default.jtreg.verbose}"/> 1.10 + <attribute name="options" default="${other.jtreg.options}"/> 1.11 <attribute name="keywords" default="-keywords:!ignore"/> 1.12 <attribute name="jpda.jvmargs" default=""/> 1.13 <sequential> 1.14 - <property name="coverage.options" value=""/> <!-- default --> 1.15 - <property name="coverage.classpath" value=""/> <!-- default --> 1.16 + <property name="coverage.options" value=""/> <!-- default --> 1.17 + <property name="coverage.classpath" value=""/> <!-- default --> 1.18 + <property name="default.jtreg.verbose" value="summary"/> <!-- default --> 1.19 + <property name="other.jtreg.options" value=""/> <!-- default --> 1.20 <jtreg 1.21 dir="${test.dir}" 1.22 workDir="${build.jtreg.dir}/@{name}/work"