Hi Ben & Kristian, Curiously enough I don't remember receiving Kristian's patch. :)
> not only unreproducible, but completely useless at boot time since > the device and inode numbers of libraries will be different. […] > Since there is no option to explicitly disable creation of the aux- > cache file, I propose to delete it ldconfig creates it. ^ Missing "if"? :) Regards, -- ,''`. : :' : Chris Lamb `. `'` la...@debian.org / chris-lamb.co.uk `-