jdk/make/jprt.config
changeset 2220 dfae517d8078
parent 1162 0eb72b6aea56