jdk/makefiles/ProfileNames.gmk
changeset 16478 52ea0de470fd
parent 15681 8ca785029fe2
child 20547 453837141fac
--- a/jdk/makefiles/ProfileNames.gmk	Thu Mar 14 00:21:34 2013 +0000
+++ b/jdk/makefiles/ProfileNames.gmk	Thu Mar 14 01:47:59 2013 -0400
@@ -30,9 +30,8 @@
 
 PROFILE_NAMES := compact1 compact2 compact3
 
-# The include files use 1,2,3,4 for simplicity and conciseness. Internally we
-# use profile_1, profile_2 and profile_3. Note that profile_4 is a full JRE so
-# we never have to use it directly.
+# The include files use 1,2,3 for simplicity and conciseness. Internally we
+# use profile_1, profile_2 and profile_3. 
 
 ALL_PROFILES := profile_1 profile_2 profile_3