--- a/make/gensrc/Gensrc-jdk.hotspot.agent.gmk	Wed Jun 27 19:45:06 2018 +0200
+++ b/make/gensrc/Gensrc-jdk.hotspot.agent.gmk	Wed Jun 27 20:19:59 2018 +0100
@@ -49,6 +49,7 @@
   MACH_EXC_SERVER := $(MIG_OUTPUT_DIR)/mach_excServer.c
 
   $(MACH_EXC_SERVER): $(SDKROOT)/usr/include/mach/mach_exc.defs
+	$(call MakeTargetDir)
 	$(MIG) -isysroot $(SDKROOT) -server $@ -user $(MACH_EXC_USER) \
 	    -header $(MACH_EXC_HEADER) $(SDKROOT)/usr/include/mach/mach_exc.defs