diff options
author | jjg <none@none> | 2010-06-04 14:54:54 -0700 |
---|---|---|
committer | jjg <none@none> | 2010-06-04 14:54:54 -0700 |
commit | c2224e5e858e96404b8854c2cb723120b929e242 (patch) | |
tree | b9577ed307a99ed48da35cee444751906382e518 /make/build.properties | |
parent | 6198e309ceef7c6e58e39151008238d939021453 (diff) | |
download | jdk8u_langtools-c2224e5e858e96404b8854c2cb723120b929e242.tar.gz |
6958391: add vizant support to langtools build
Reviewed-by: mcimadamore
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. |