make/Images.gmk
changeset 34106 967bd03e052b
parent 34102 c0a98357f847
child 34118 0e07d8f543ea
--- a/make/Images.gmk	Fri Nov 27 16:29:22 2015 +0100
+++ b/make/Images.gmk	Fri Nov 20 13:02:06 2015 +0100
@@ -44,8 +44,8 @@
                jdk.vm.ci jdk.management
 
 # providers
-PROVIDER_MODULES += jdk.charsets jdk.crypto.ec jdk.crypto.pkcs11 jdk.jvmstat jdk.localedata \
-               jdk.naming.dns jdk.naming.rmi jdk.zipfs
+PROVIDER_MODULES += jdk.charsets jdk.crypto.ec jdk.crypto.pkcs11 jdk.jvmstat jdk.jvmstat.rmi \
+               jdk.localedata jdk.naming.dns jdk.naming.rmi jdk.zipfs
 
 # tools
 TOOLS_MODULES += jdk.attach jdk.compiler jdk.dev \