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/ >Received on Wed Apr 20 2005 - 03:02:46 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:38:32 UTC