diff options
Diffstat (limited to 'make/build.properties')
| -rw-r--r-- | make/build.properties | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/make/build.properties b/make/build.properties index 3138ebec..3902f756 100644 --- a/make/build.properties +++ b/make/build.properties @@ -76,17 +76,27 @@ javadoc.jls3.cite=<a href="${javadoc.jls3.url}">The Java Languag 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. |