diff --git a/Makefile.inc1 b/Makefile.inc1 index dd4361871e2d..b60b749a075f 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -411,6 +411,9 @@ buildkernel: installkernel: cd ${KRNLOBJDIR}/${INSTALLKERNEL}; \ ${CROSSENV} MACHINE=${MACHINE} ${MAKE} KERNEL=${INSTKERNNAME} install +reinstallkernel: + cd ${KRNLOBJDIR}/${INSTALLKERNEL}; \ + ${CROSSENV} MACHINE=${MACHINE} ${MAKE} KERNEL=${INSTKERNNAME} reinstall # # kernel