Date: Wed, 27 Apr 2005 14:04:08 -0400 From: John Baldwin <jhb@FreeBSD.org> To: freebsd-current@FreeBSD.org Subject: Re: kernel.old not used any longer? Message-ID: <200504271404.10021.jhb@FreeBSD.org> In-Reply-To: <20050420005744.Y64858@lexi.siliconlandmark.com> References: <200504191530.j3JFUvWD030545@energistic.com> <20050419165227.GA86651@energistic.com> <20050420005744.Y64858@lexi.siliconlandmark.com>
index | next in thread | previous in thread | raw e-mail
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@FreeBSD.org> <>< http://www.FreeBSD.org/~jhb/
"Power Users Use the Power to Serve" = http://www.FreeBSD.org
home |
help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200504271404.10021.jhb>