--- old/make/Main.gmk 2016-10-10 11:16:20.507855130 +0200 +++ new/make/Main.gmk 2016-10-10 11:16:20.403856813 +0200 @@ -237,7 +237,7 @@ # Build hotspot target ifeq ($(BUILD_HOTSPOT),true) -hotspot: + hotspot: +($(CD) $(HOTSPOT_TOPDIR)/make && $(MAKE) $(MAKE_ARGS) -f BuildHotspot.gmk) endif