xnu-7195.50.7.100.1.tar.gz

[apple/xnu.git] / osfmk / device / Makefile

diff --git a/osfmk/device/Makefile b/osfmk/device/Makefile
index a788cd1c3df32ef3a50b0d79daa2611700da7632..aa7b6c4487851e9fcc083fca3f9a10d616c5d827 100644 (file)
--- a/osfmk/device/Makefile
+++ b/osfmk/device/Makefile
@@ -32,7 +32,7 @@ EXPORT_MI_DIR = device
 
 #
 # Build path
-#       
+#
 INCFLAGS_MAKEFILE= -I..
 
 MIGKSFLAGS     = -DMACH_KERNEL_PRIVATE -DKERNEL_SERVER=1
@@ -45,7 +45,7 @@ COMP_FILES    = ${DEVICE_FILES}
 do_build_all:: $(COMP_FILES)
 
 ${DEVICE_FILES}: device.defs
-       @echo MIG $@
+       @$(LOG_MIG) "$@"
        $(_v)${MIG} ${MIGFLAGS} ${MIGKSFLAGS}   \
        -header /dev/null                       \
        -user /dev/null                         \