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