kernel.old not used any longer?

[John Baldwin]

On Wednesday 20 April 2005 01:02 am, Andre Guibert de Bruet wrote:
> 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.

This isn't part of make world.  I do think he has found a bug.  ru@ is the 
person to ask.

-- 
John Baldwin <jhb at FreeBSD.org>  <><  http://www.FreeBSD.org/~jhb/
"Power Users Use the Power to Serve"  =  http://www.FreeBSD.org