diff options
| -rw-r--r-- | Makefile.inc1 | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 6b4eaec..f6664ca 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -581,6 +581,15 @@ reinstallkernel reinstallkernel.debug: ${SPECIAL_INSTALLCHECKS} @echo "ERROR: No kernel \"${KERNCONF}\" to install." false .endif + @echo "--------------------------------------------------------------" + @echo ">>> Making hierarchy" + @echo "--------------------------------------------------------------" + cd ${.CURDIR}; \ + ${CROSSENV} PATH=${TMPPATH} ${MAKE} -f Makefile.inc1 hierarchy + @echo + @echo "--------------------------------------------------------------" + @echo ">>> Installing kernel" + @echo "--------------------------------------------------------------" cd ${KRNLOBJDIR}/${INSTALLKERNEL}; \ ${CROSSENV} PATH=${TMPPATH} \ ${MAKE} KERNEL=${INSTKERNNAME} ${.TARGET:S/kernel//} |
