make/Main.gmk

@@ -296,11 +296,13 @@
 
 ################################################################################
 # Verification targets
 
 verify-modules:
+        @$(call TargetEnter)
         +($(CD) $(SRC_ROOT)/make && $(MAKE) $(MAKE_ARGS) -f CheckModules.gmk)
+        @$(call TargetExit)
 
 ALL_TARGETS += verify-modules
 
 ################################################################################
 # Install targets

@@ -398,11 +400,11 @@
   # this dependency.
   ifeq ($(OPENJDK_TARGET_OS), windows)
     main-jars: java.security.jgss-libs
   endif
 
-  images: jars demos samples exploded-image source-tips
+  images: jars demos samples exploded-image verify-modules source-tips
 
   bootcycle-images: images
 
   # Need to depend on jars as otherwise there will a race between all the
   # invocations of CreateJars.gmk.

@@ -474,12 +476,12 @@
     $(ALL_MODULE_TARGETS) exploded-image jdk jars \
     $(ALL_PROFILES) profiles docs
 
 ################################################################################
 
-all: images docs verify-modules
-default: exploded-image
+all: images docs
+default: exploded-image verify-modules
 
 ALL_TARGETS += default all
 
 ################################################################################
 ################################################################################