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>