diff options
| -rw-r--r-- | Makefile.inc1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index dd43618..b60b749 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 |
