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

From: Sam James <[email-masked]>
Date: Thu, 29 Sep 2022 20:55:56 +0100

> On 29 Sep 2022, at 04:48, Felix Lechner via Bug-libtool via Bug reports for the GNU libtool shared library maintenance tool <[email-masked]> wrote:
> 
> Hi Sam,
> 
> On Wed, Sep 28, 2022 at 1:29 PM Sam James <[email-masked]> wrote:
>> 
>> See also https://git.savannah.gnu.org/cgit/libtool.git/commit/?id=da2e352735722917bf0786284411262195a6a3f6
>> which landed in 2.4.7.
> 
> Yay! With version 2.4.7, the warning disappeared. Instead, I see:
> 
>  checking for file... file
> 
>> Can you share the header of the configure script too?
> 
> I browsed around but could find nothing of interest to you. Please
> feel free to write if you still need more information.
> 

If it works, then no need at all! Fantastic to hear! :)

> Thank you so much for your fast reply!

No worries and happy compiling!

Best,
sam