make/Main.gmk
changeset 41458 f285e333e8db
parent 41275 0ffcfee0d9a9
child 41461 53935ea8789d
--- 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