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

Previous Next

Package: libtool;

Reported by: ludo <at> gnu.org (Ludovic Courtès)

Date: Mon, 23 Jun 2014 19:44:02 UTC

Severity: normal

Tags: patch

Done: Mike Frysinger <vapier <at> gentoo.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: Sam James <sam <at> gentoo.org>
To: Felix Lechner <felix.lechner <at> lease-up.com>
Cc: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>, Peter Rosin <peda <at> lysator.liu.se>, Ludovic Courtès <ludo <at> gnu.org>, Bob Friesenhahn <bfriesen <at> simple.dallas.tx.us>, Ralf Corsepius <rc040203 <at> freenet.de>, Mark H Weaver <mhw <at> netris.org>, 17840 <at> debbugs.gnu.org
Subject: bug#17840: [PATCH] libtool: Use 'file' instead of '/usr/bin/file' on GNU systems.
Date: Thu, 29 Sep 2022 20:55:56 +0100
[Message part 1 (text/plain, inline)]

> On 29 Sep 2022, at 04:48, Felix Lechner via Bug-libtool via Bug reports for the GNU libtool shared library maintenance tool <bug-libtool <at> gnu.org> wrote:
> 
> Hi Sam,
> 
> On Wed, Sep 28, 2022 at 1:29 PM Sam James <sam <at> gentoo.org> 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
[signature.asc (application/pgp-signature, attachment)]

This bug report was last modified 1 year and 134 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.