6877961: langtools build should allow more options when running jtreg

Fri, 11 Jun 2010 07:12:07 -0700

author
jjg
date
Fri, 11 Jun 2010 07:12:07 -0700
changeset 583
224533455888
parent 582
366a7b9b5627
child 584
d1ea43cb71c1

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"

mercurial