From owner-freebsd-current@FreeBSD.ORG Mon May 23 14:43:58 2005 Return-Path: X-Original-To: freebsd-current@freebsd.org Delivered-To: freebsd-current@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 3846B16A41C for ; Mon, 23 May 2005 14:43:58 +0000 (GMT) (envelope-from randy@psg.com) Received: from rip.psg.com (rip.psg.com [147.28.0.39]) by mx1.FreeBSD.org (Postfix) with ESMTP id 1203F43D1D for ; Mon, 23 May 2005 14:43:58 +0000 (GMT) (envelope-from randy@psg.com) Received: from localhost ([127.0.0.1] helo=roam.psg.com) by rip.psg.com with esmtp (Exim 4.50 (FreeBSD)) id 1DaE9r-000Dbb-MO for freebsd-current@freebsd.org; Mon, 23 May 2005 14:43:55 +0000 Received: from [127.0.0.1] (helo=roam.psg.com.psg.com) by roam.psg.com with esmtp (Exim 4.51 (FreeBSD)) id 1DaE9c-0000Mb-59 for freebsd-current@freebsd.org; Mon, 23 May 2005 10:43:40 -0400 From: Randy Bush MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <17041.60442.522858.744833@roam.psg.com> Date: Mon, 23 May 2005 10:43:38 -0400 To: FreeBSD Current References: <200504191530.j3JFUvWD030545@energistic.com> <20050419165227.GA86651@energistic.com> <20050420005744.Y64858@lexi.siliconlandmark.com> <200504271404.10021.jhb@FreeBSD.org> Subject: Re: kernel.old not used any longer? X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 23 May 2005 14:43:58 -0000 > 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