From 66bea2a025023a010644631f852cc4f1dd7de454 Mon Sep 17 00:00:00 2001
From: Warner Losh <imp@FreeBSD.org>
Date: Sun, 17 Sep 2000 21:02:58 +0000
Subject: [PATCH] Add reinstallkernel target.  Does same thing as
 installkernel, but executes the reinstall target rather than the install
 target that installkernel does.

---
 Makefile.inc1 | 3 +++
 1 file changed, 3 insertions(+)

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