make/build.properties

changeset 73
c5dfd37d18a0
parent 64
2ec98e99e4ea
child 75
845fa487f0f7
equal deleted inserted replaced
69:fa8712c099ed 73:c5dfd37d18a0
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

mercurial