equal
deleted
inserted
replaced
28 # other tools, and product versions of all the tools. |
28 # other tools, and product versions of all the tools. |
29 # Override this path as needed, either on the command line or in |
29 # Override this path as needed, either on the command line or in |
30 # one of the standard user build.properties files (see build.xml) |
30 # one of the standard user build.properties files (see build.xml) |
31 |
31 |
32 # options for the <javac> tasks used to compile the tools |
32 # options for the <javac> tasks used to compile the tools |
33 javac.source = 5 |
33 javac.source = 7 |
34 javac.target = 5 |
34 javac.target = 7 |
35 javac.debug = true |
35 javac.debug = true |
36 javac.no.jdk.warnings = -XDignore.symbol.file=true |
36 javac.no.jdk.warnings = -XDignore.symbol.file=true |
37 # set the following to -version to verify the versions of javac being used |
37 # set the following to -version to verify the versions of javac being used |
38 javac.version.opt = |
38 javac.version.opt = |
39 # in time, there should be no exceptions to -Xlint:all |
39 # in time, there should be no exceptions to -Xlint:all |