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
`. `'` lamby@debian.org / chris-lamb.co.uk
`-