${MIG_UUHDRS} : \
%.h : %.defs
- $(call makelog,$(ColorM)MIG$(Color0) $(ColorF)$@$(Color0))
+ @$(LOG_MIG) "$@"
$(_v)$(MIG) $(MIGFLAGS) \
-server /dev/null \
-user /dev/null \
${MIG_USHDRS} : \
%_server.h : %.defs
- $(call makelog,$(ColorM)MIG$(Color0) $(ColorF)$@$(Color0))
+ @$(LOG_MIG) $@
$(_v)$(MIG) $(MIGFLAGS) \
-server /dev/null \
-user /dev/null \
${MIG_KUSRC} : \
%_user.c : %.defs
- $(call makelog,$(ColorM)MIG$(Color0) $(ColorF)$@$(Color0))
+ @$(LOG_MIG) $@
$(_v)${MIG} ${MIGFLAGS} ${MIGKUFLAGS} \
-user $*_user.c \
-header $*.h \
${MIG_KSSRC}: \
%_server.c : %.defs
- $(call makelog,$(ColorM)MIG$(Color0) $(ColorF)$@$(Color0))
+ @$(LOG_MIG) $@
$(_v)${MIG} ${MIGFLAGS} ${MIGKSFLAGS} \
-user /dev/null \
-header /dev/null \