--- a/make/Main.gmk	Tue Dec 08 10:11:28 2015 +0530
+++ b/make/Main.gmk	Wed Dec 09 11:44:40 2015 +0100
@@ -554,7 +554,7 @@
 # Traditional targets typically run by users.
 # These can be considered aliases for the targets now named by a more
 # "modern" naming scheme.
-default: exploded-image
+default: $(DEFAULT_MAKE_TARGET)
 jdk: exploded-image
 images: product-images
 docs: docs-image