--- old/make/Main.gmk	2014-12-12 09:53:20.000000000 -0800
+++ new/make/Main.gmk	2014-12-12 09:53:20.000000000 -0800
@@ -442,7 +442,7 @@
 # alias for ease of use.
 jdk: exploded-image
 
-images: jimages demos samples zip-security
+images: jimages demos samples zip-security verify-modules
 
 ifeq ($(OPENJDK_TARGET_OS), macosx)
   images: mac-bundles