For installkernel, use the fresh tools (if we've built them with

buildworld).

Reviewed by:	imp, marcel
Approved by:	re (rwatson)

This commit is contained in:

Ruslan Ermilov

2002-12-02 14:03:40 +00:00

parent db4a5cc27c

commit fc599016e7

1 changed files with 2 additions and 1 deletions

									
										Makefile.inc1
									
		+2
		-1
	
												View File
												
				@@ -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