From fc599016e75bc3fa2e667bcafc4cdbb5df142d33 Mon Sep 17 00:00:00 2001
From: Ruslan Ermilov <ru@FreeBSD.org>
Date: Mon, 2 Dec 2002 14:03:40 +0000
Subject: [PATCH] For installkernel, use the fresh tools (if we've built them
 with buildworld).

Reviewed by:	imp, marcel
Approved by:	re (rwatson)
---
 Makefile.inc1 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile.inc1 b/Makefile.inc1
index 82e4acfb42b6..8c0cda1671b3 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -521,7 +521,8 @@ buildkernel:
 #
 installkernel reinstallkernel:
 	cd ${KRNLOBJDIR}/${INSTALLKERNEL}; \
-	    ${CROSSENV} ${MAKE} KERNEL=${INSTKERNNAME} ${.TARGET:S/kernel$//}
+	    ${CROSSENV} PATH=${TMPPATH} \
+	    ${MAKE} KERNEL=${INSTKERNNAME} ${.TARGET:S/kernel$//}
 
 #
 # update