make/Main.gmk
changeset 34491 307c28cb36c2
parent 34117 afc734a1cf3b
child 35008 ef0cd710989f
child 35028 d1a03d533057
equal deleted inserted replaced
34490:eb1c1d3d7647 34491:307c28cb36c2
   552 ################################################################################
   552 ################################################################################
   553 
   553 
   554 # Traditional targets typically run by users.
   554 # Traditional targets typically run by users.
   555 # These can be considered aliases for the targets now named by a more
   555 # These can be considered aliases for the targets now named by a more
   556 # "modern" naming scheme.
   556 # "modern" naming scheme.
   557 default: exploded-image
   557 default: $(DEFAULT_MAKE_TARGET)
   558 jdk: exploded-image
   558 jdk: exploded-image
   559 images: product-images
   559 images: product-images
   560 docs: docs-image
   560 docs: docs-image
   561 all: all-images
   561 all: all-images
   562 
   562