equal
deleted
inserted
replaced
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 # boot.java.home = /opt/jdk/1.7.0 |
32 # boot.java.home = /opt/jdk/1.7.0 |
33 boot.java = ${boot.java.home}/bin/java |
33 boot.java = ${boot.java.home}/bin/java |
34 boot.javac = ${boot.java.home}/bin/javac |
34 boot.javac = ${boot.java.home}/bin/javac |
35 boot.javac.source = 7 |
35 boot.javac.source = 8 |
36 boot.javac.target = 7 |
36 boot.javac.target = 8 |
37 |
37 |
38 # This is the JDK used to run the product version of the tools, |
38 # This is the JDK used to run the product version of the tools, |
39 # for example, for testing. If you're building a complete JDK, specify that. |
39 # for example, for testing. If you're building a complete JDK, specify that. |
40 # Override this path as needed, either on the command line or in |
40 # Override this path as needed, either on the command line or in |
41 # one of the standard user build.properties files (see build.xml) |
41 # one of the standard user build.properties files (see build.xml) |