--- old/make/gensrc/Gensrc-jdk.hotspot.agent.gmk	2019-02-05 15:45:01.126734045 +0100
+++ new/make/gensrc/Gensrc-jdk.hotspot.agent.gmk	2019-02-05 15:45:00.946734044 +0100
@@ -42,7 +42,7 @@
 
 ################################################################################
 
-ifeq ($(OPENJDK_TARGET_OS), macosx)
+ifeq ($(call isTargetOs, macosx), true)
   MIG_OUTPUT_DIR := $(SUPPORT_OUTPUTDIR)/gensrc/jdk.hotspot.agent
   MACH_EXC_HEADER := $(MIG_OUTPUT_DIR)/mach_exc.h
   MACH_EXC_USER := $(MIG_OUTPUT_DIR)/mach_excUser.c