1.1 --- a/common/autoconf/spec.gmk.in Wed Dec 19 13:36:21 2012 -0800 1.2 +++ b/common/autoconf/spec.gmk.in Thu Dec 20 01:44:02 2012 -0500 1.3 @@ -185,11 +185,12 @@ 1.4 1.5 # These are the libjvms that we want to build. 1.6 # The java launcher uses the default. 1.7 -# The other can be selected by specifying -client -server -kernel -zero or -zeroshark 1.8 +# The others can be selected by specifying -client -server -minimal1 -kernel -zero or -zeroshark 1.9 # on the java launcher command line. 1.10 JVM_VARIANTS:=@JVM_VARIANTS@ 1.11 JVM_VARIANT_SERVER:=@JVM_VARIANT_SERVER@ 1.12 JVM_VARIANT_CLIENT:=@JVM_VARIANT_CLIENT@ 1.13 +JVM_VARIANT_MINIMAL1:=@JVM_VARIANT_MINIMAL1@ 1.14 JVM_VARIANT_KERNEL:=@JVM_VARIANT_KERNEL@ 1.15 JVM_VARIANT_ZERO:=@JVM_VARIANT_ZERO@ 1.16 JVM_VARIANT_ZEROSHARK:=@JVM_VARIANT_ZEROSHARK@