Date: Mon, 23 May 2005 10:43:38 -0400 From: Randy Bush <randy@psg.com> To: FreeBSD Current <freebsd-current@freebsd.org> Subject: Re: kernel.old not used any longer? Message-ID: <17041.60442.522858.744833@roam.psg.com> References: <200504191530.j3JFUvWD030545@energistic.com> <20050419165227.GA86651@energistic.com> <20050420005744.Y64858@lexi.siliconlandmark.com> <200504271404.10021.jhb@FreeBSD.org>
next in thread | previous in thread | raw e-mail | index | archive | help
> 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.
sorry to be slow (marriage and honeymoon (aborted due to medical emergency
in wife's family)), but what happened to this thread? i just cvsupped and
did a make kernel with /etc/make.conf having KERNCONF=MYKERNEL, and did
not get kernel.old.
randy
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?17041.60442.522858.744833>