Mon, 13 Feb 2012 14:03:12 -0500
7069991: Setup make/jprt.properties files for jdk8
Summary: Change default release value to jdk8 (but overrideable)
Reviewed-by: phh, jcoomes, dholmes, ohair
aoqi@0 | 1 | #!/bin/sh |
aoqi@0 | 2 | |
aoqi@0 | 3 | /usr/ccs/bin/nm -p $* \ |
aoqi@0 | 4 | | awk '{ |
aoqi@0 | 5 | if ($2 == "U") next |
aoqi@0 | 6 | if ($3 ~ /^__1c.*__vtbl_$/ || $3 ~ /^gHotSpotVM/) print "\t" $3 ";" |
aoqi@0 | 7 | if ($3 ~ /^UseSharedSpaces$/) print "\t" $3 ";" |
aoqi@0 | 8 | if ($3 ~ /^__1cJArgumentsRSharedArchivePath_$/) print "\t" $3 ";" |
aoqi@0 | 9 | }' \ |
aoqi@0 | 10 | | sort -u |