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