bug#17840: [PATCH] libtool: Use 'file' instead of '/usr/bin/file' on GNU systems.

[Ludovic Courtès]

Bob Friesenhahn <address@hidden> skribis:

> On Tue, 24 Jun 2014, Ludovic Courtès wrote:
>>
>>> The reason for the hard-coded path is because there are a number of
>>> different 'file' programs and libtool expects particular output from
>>> the 'file' program that it uses.  If the 'file' encountered via PATH
>>> is not the same as the common one available as ‘/usr/bin/file’ on GNU
>>> systems, then there would be a problem.
>>
>> Well, the systems I was referring to are GNU systems too.  ;-)
>>
>> Do you remember what other ‘file’ programs could interfere?  Debian has
>> only one ‘file’ program, for instance:
>> <https://packages.debian.org/search?searchon=contents&keywords=file&mode=exactfilename&suite=stable&arch=any>.
>
> This is the web page for the most popular and common 'file'
> command. It is not a GNU program:
>
>       http://darwinsys.com/file/

Right.  I was asking about hypothetical unrelated ‘file’ commands that
would justify hard-coding /usr/bin/file.

Do we know of any?

Otherwise it’s no different from cat, touch, grep, etc.

Ludo’.