--- a/make/Main.gmk Wed Jul 05 22:19:47 2017 +0200
+++ b/make/Main.gmk Tue Oct 11 09:49:31 2016 +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