kernel.old not used any longer?

[Andre Guibert de Bruet]

On Tue, 19 Apr 2005, Steve Ames wrote:

> Hrm. Almost the same as you. On mine that first comparison is actually
> "!= //boot/kernel". Likely because I have "DESTDIR?=/" in /etc/make.conf.
>
> Hrm. Suddenly all makes sense. I defined DESTDIR so that 'make world'
> would continue to work normally (instead of doing buildworld/installworld)
> and that probably happened around August '04.
>
> So I guess if I get rid of DESTDIR and start doing buildworld/installworld
> then I get kernel.old functionality again... however this tastes like a
> bug to me. Perhaps that comparison should be:
>
> "!= ${DESTIR}/boot/kernel" ??

This is not a bug. You are looking for the functionality that is offered 
by HISTORICAL_MAKE_WORLD.

Regards,
Andy

| Andre Guibert de Bruet | Enterprise Software Consultant >
| Silicon Landmark, LLC. | http://siliconlandmark.com/    >