problems with make delete-old(-libs)

[Dimitry Andric]

On 2009-07-20 01:07, Michiel Boland wrote:
> Hi. On recent -CURRENT make delete-old wants to delete the following files
> 
>   /usr/include/dev/usb/usbdi.h
>   /usr/include/dev/usb/usbdi_util.h
>   /usr/include/libusb.h
> 
> As far as I can see these files are still built/installed

Yes indeed, they are installed during every installworld, but are still
in ObsoleteFiles.inc; this looks like an oversight during the USB stack
switch.