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

Previous Next

Full log

View this message in rfc822 format

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

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.

Thank you so much for your fast reply!

Kind regards
Felix Lechner

Previous Next

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