bug#17840: [PATCH] libtool: Use 'file' instead of '/usr/bin/file' on GNU systems.
Felix Lechner via Bug-libtool via Bug reports for the GNU libtool shared library maintenance tool <[email protected]> Wed, 28 Sep 2022 20:48:10 -0700
| Newsgroups | gmane.comp.gnu.libtool.bugs |
|---|---|
| Message-ID | <CAFHYt57_fOoNZHJXazQq+uzg507R_=ikaLmSbkhLh_6-B0RzmQ@mail.gmail.com> |
Hi Sam, On Wed, Sep 28, 2022 at 1:29 PM Sam James <[email protected]> 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 _______________________________________________ Bug-libtool mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-libtool