diff options
Diffstat (limited to 'make/build.properties')
| -rw-r--r-- | make/build.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/build.properties b/make/build.properties index f634f268..ed598102 100644 --- a/make/build.properties +++ b/make/build.properties @@ -30,6 +30,7 @@ # one of the standard user build.properties files (see build.xml) # options for the <javac> tasks used to compile the tools +javac.source = 5 javac.target = 5 javac.debug = true javac.no.jdk.warnings = -XDignore.symbol.file=true |