diff -r 852d8bb356bc -r b7fc560217d3 make/build.properties --- a/make/build.properties Thu Jun 03 19:56:12 2010 -0700 +++ b/make/build.properties Fri Jun 04 14:54:54 2010 -0700 @@ -76,17 +76,27 @@ javadoc.jls3.option=-tag "jls3:a:See <cite>${javadoc.jls3.cite}</cite>:" # jtreg, used to run the JDK regression tests +# See http://openjdk.java.net/jtreg/ # Override this path as needed, either on the command line or in # one of the standard user build.properties files (see build.xml) -# jtreg.home = /opt/jtreg/3.2.2_02 +# jtreg.home = /opt/jtreg/4.1 # findbugs +# See http://findbugs.sourceforge.net/ # Override this path as needed, either on the command line or in # one of the standard user build.properties files (see build.xml) # findbugs.home = /opt/findbugs/1.2.1 +# vizant (graph visualization tool for Ant) +# See http://vizant.sourceforge.net/ +# Override this path as needed, either on the command line or in +# one of the standard user build.properties files (see build.xml) + +# vizant.jar = /opt/vizant/0.1.2/vizant-0.1.2.jar +# dot = dot + #------------------------------------------------------------ # The following properties define the packages for each of the tools.