diff -r 1ce7938efb03 -r 0f5fb350c89e make/hotspot-rules.gmk --- a/make/hotspot-rules.gmk Wed Jul 05 17:19:35 2017 +0200 +++ b/make/hotspot-rules.gmk Tue Aug 24 13:27:45 2010 +0100 @@ -73,7 +73,11 @@ endif ifeq ($(ZERO_BUILD), true) - HOTSPOT_TARGET := $(HOTSPOT_TARGET)zero + ifeq ($(SHARK_BUILD), true) + HOTSPOT_TARGET := $(HOTSPOT_TARGET)shark + else + HOTSPOT_TARGET := $(HOTSPOT_TARGET)zero + endif endif HOTSPOT_BUILD_ARGUMENTS += $(COMMON_BUILD_ARGUMENTS)