1.1 --- a/make/build.properties Thu Jun 03 19:56:12 2010 -0700
1.2 +++ b/make/build.properties Fri Jun 04 14:54:54 2010 -0700
1.3 @@ -76,17 +76,27 @@
1.4 javadoc.jls3.option=-tag "jls3:a:See <cite>${javadoc.jls3.cite}</cite>:"
1.5
1.6 # jtreg, used to run the JDK regression tests
1.7 +# See http://openjdk.java.net/jtreg/
1.8 # Override this path as needed, either on the command line or in
1.9 # one of the standard user build.properties files (see build.xml)
1.10
1.11 -# jtreg.home = /opt/jtreg/3.2.2_02
1.12 +# jtreg.home = /opt/jtreg/4.1
1.13
1.14 # findbugs
1.15 +# See http://findbugs.sourceforge.net/
1.16 # Override this path as needed, either on the command line or in
1.17 # one of the standard user build.properties files (see build.xml)
1.18
1.19 # findbugs.home = /opt/findbugs/1.2.1
1.20
1.21 +# vizant (graph visualization tool for Ant)
1.22 +# See http://vizant.sourceforge.net/
1.23 +# Override this path as needed, either on the command line or in
1.24 +# one of the standard user build.properties files (see build.xml)
1.25 +
1.26 +# vizant.jar = /opt/vizant/0.1.2/vizant-0.1.2.jar
1.27 +# dot = dot
1.28 +
1.29 #------------------------------------------------------------
1.30
1.31 # The following properties define the packages for each of the tools.
