From b08bf1dfd2ce41af261b4753e8f422a83c274f1b Mon Sep 17 00:00:00 2001 From: ru Date: Mon, 2 Dec 2002 14:03:40 +0000 Subject: 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(-) (limited to 'Makefile.inc1') diff --git a/Makefile.inc1 b/Makefile.inc1 index 82e4acf..8c0cda1 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 -- cgit v1.1