device_types.h device_port.h device_types.defs \
${MIG_DEFS}
+PRIVATE_DATAFILES = \
+ device_types.h
+
MIGINCLUDES = \
INSTALL_MI_LIST = ${DATAFILES} ${_MIG_HDRS_} ${MIGINCLUDES}
+INSTALL_MI_LCL_LIST = ${PRIVATE_DATAFILES}
+
INSTALL_MI_DIR = device
EXPORT_MI_LIST = ${DATAFILES} ${_MIG_HDRS_} ${MIGINCLUDES}
#
# Build path
-#
+#
INCFLAGS_MAKEFILE= -I..
MIGKSFLAGS = -DMACH_KERNEL_PRIVATE -DKERNEL_SERVER=1
do_build_all:: $(COMP_FILES)
${DEVICE_FILES}: device.defs
- @echo MIG $@
+ @echo "$(ColorM)MIG$(Color0) $(ColorF)$@$(Color0)"
$(_v)${MIG} ${MIGFLAGS} ${MIGKSFLAGS} \
-header /dev/null \
-user /dev/null \