mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-21 19:44:41 +02:00
6870743: update comments in langtools/make/build.properties
Reviewed-by: darcy
This commit is contained in:
parent
da2b8ebcd0
commit
46c42f2362
1 changed files with 2 additions and 2 deletions
|
@ -29,7 +29,7 @@
|
||||||
# Override this path as needed, either on the command line or in
|
# Override this path as needed, either on the command line or in
|
||||||
# one of the standard user build.properties files (see build.xml)
|
# one of the standard user build.properties files (see build.xml)
|
||||||
|
|
||||||
# boot.java.home = /opt/jdk/1.5.0
|
# boot.java.home = /opt/jdk/1.6.0
|
||||||
boot.java = ${boot.java.home}/bin/java
|
boot.java = ${boot.java.home}/bin/java
|
||||||
boot.javac = ${boot.java.home}/bin/javac
|
boot.javac = ${boot.java.home}/bin/javac
|
||||||
boot.javac.source = 6
|
boot.javac.source = 6
|
||||||
|
@ -40,7 +40,7 @@ boot.javac.target = 6
|
||||||
# Override this path as needed, either on the command line or in
|
# Override this path as needed, either on the command line or in
|
||||||
# one of the standard user build.properties files (see build.xml)
|
# one of the standard user build.properties files (see build.xml)
|
||||||
|
|
||||||
# target.java.home = /opt/jdk/1.6.0
|
# target.java.home = /opt/jdk/1.7.0
|
||||||
target.java = ${target.java.home}/bin/java
|
target.java = ${target.java.home}/bin/java
|
||||||
|
|
||||||
# Version info -- override as needed
|
# Version info -- override as needed
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue