diff --git a/Makefile.inc1 b/Makefile.inc1 index 0fe22c0011f3..2aa1645a5d15 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -1405,7 +1405,7 @@ build-tools: .MAKE .endfor .for _tool in \ ${_texinfo} - ${_+_}@${ECHODIR} "===> ${_tool} (obj,depend,all)"; \ + ${_+_}@${ECHODIR} "===> ${_tool} (obj,depend,all,install)"; \ cd ${.CURDIR}/${_tool} && \ ${MAKE} DIRPRFX=${_tool}/ obj && \ ${MAKE} DIRPRFX=${_tool}/ depend && \