hg: jdk7/build/jdk: 6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform list

[kelly . ohair]

Changeset: df049d0b973f
Author:    ohair
Date:      2010-09-07 15:17 -0700
URL:       http://hg.openjdk.java.net/jdk7/build/jdk/rev/df049d0b973f

6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform 
list
Reviewed-by: kamg

! make/jprt.properties