make/build.properties

changeset 56
35c29ff8d904
parent 1
0961a4a21176
child 64
2ec98e99e4ea
equal deleted inserted replaced
55:ab30d5761947 56:35c29ff8d904
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.target = 5 33 javac.target = 5
34 javac.debug = true 34 javac.debug = true
35 javac.debuglevel = source,lines
36 javac.no.jdk.warnings = -XDignore.symbol.file=true 35 javac.no.jdk.warnings = -XDignore.symbol.file=true
37 # set the following to -version to verify the versions of javac being used 36 # set the following to -version to verify the versions of javac being used
38 javac.version.opt = 37 javac.version.opt =
39 # in time, there should be no exceptions to -Xlint:all 38 # in time, there should be no exceptions to -Xlint:all
40 javac.lint.opts = -Xlint:all,-unchecked,-deprecation,-fallthrough,-cast,-serial -Werror 39 javac.lint.opts = -Xlint:all,-unchecked,-deprecation,-fallthrough,-cast,-serial -Werror

mercurial