Date: Wed, 20 Apr 2005 01:02:42 -0400 (EDT) From: Andre Guibert de Bruet <andy@siliconlandmark.com> To: Steve Ames <steve@energistic.com> Cc: freebsd-current@freebsd.org Subject: Re: kernel.old not used any longer? Message-ID: <20050420005744.Y64858@lexi.siliconlandmark.com> In-Reply-To: <20050419165227.GA86651@energistic.com> References: <200504191530.j3JFUvWD030545@energistic.com> <42652533.8060106@centtech.com><20050419160623.GA2922@energistic.com> <20050419165227.GA86651@energistic.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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/ >
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20050420005744.Y64858>