make/build.properties

changeset 63
605e1cdeba48
parent 1
0961a4a21176
child 64
2ec98e99e4ea
     1.1 --- a/make/build.properties	Thu May 14 10:58:02 2009 -0700
     1.2 +++ b/make/build.properties	Wed May 20 13:50:44 2009 -0700
     1.3 @@ -30,6 +30,7 @@
     1.4  # one of the standard user build.properties files (see build.xml)
     1.5  
     1.6  # options for the <javac> tasks used to compile the tools
     1.7 +javac.source = 5
     1.8  javac.target = 5
     1.9  javac.debug = true
    1.10  javac.debuglevel = source,lines

mercurial