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_at_ is the person to ask. -- John Baldwin <jhb_at_FreeBSD.org> <>< http://www.FreeBSD.org/~jhb/ "Power Users Use the Power to Serve" = http://www.FreeBSD.orgReceived on Wed Apr 27 2005 - 16:45:41 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:38:33 UTC