Am Freitag, 18. Januar 2013 schrieb Ludovic Courtès:

> Well, since /usr/bin/file is hard-coded, adding ‘file’ as an input would

> not be enough: you’d also need to patch ‘configure’.

Yes, this is what I did indeed.

> However, this /usr/bin/file stanza in ‘configure’ scripts doesn’t seem

> to have any practical impact since we’ve been building without it for

> ages. So I would just keep ignoring it. :-)

Okay, next time!

Andreas