Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-26 Thread Christophe Jarry
> I just committed a slightly modified patch in your name. Thank you very much Peter. Christophe

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-25 Thread Peter O'Gorman
On 09/05/2011 02:10 PM, Christophe Jarry wrote: Please learn to use git for sending patches; thanks! The new patch is attached. Please tell me if there are still issues with it. Christophe I just committed a slightly modified patch in your name. Peter

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-12 Thread Paolo Bonzini
On 09/04/2011 03:22 PM, Ralf Wildenhues wrote: > -# This must be Linux ELF. > +# This must be GNU/Linux ELF. The comment does not match the code below it, see the following line. Not your fault, and generally I don't want to take patches hostage on unrelated bugs, but*please* make this # T

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-11 Thread Christophe Jarry
Dear developers, Some days ago, I did post a patch to fix bug #9210 (http://lists.gnu.org/archive/html/libtool-patches/2011-09/msg00013.html). As far as I can see on http://git.savannah.gnu.org/cgit/libtool.git/log/, the patch has not been applied yet. Is there something wrong in the patch? If it

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-05 Thread Bob Friesenhahn
On Mon, 5 Sep 2011, Christophe Jarry wrote: Please learn to use git for sending patches; thanks! The new patch is attached. Please tell me if there are still issues with it. This patch looks ok to apply to me. Bob -- Bob Friesenhahn bfrie...@simple.dallas.tx.us, http://www.simplesystems.or

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-05 Thread Christophe Jarry
> Please learn to use git for sending patches; thanks! The new patch is attached. Please tell me if there are still issues with it. Christophe >From 965eb1b22d3350ee24765b0c115a91512a382f3d Mon Sep 17 00:00:00 2001 From: Christophe Jarry Date: Mon, 5 Sep 2011 20:49:19 +0200 Subject: [PATCH] Rep

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-04 Thread Christophe Jarry
Hello Ralf, On Sun, 04 Sep 2011 15:22:55 +0200 "Ralf Wildenhues" wrote: > > --- libtool.orig/libltdl/config/ltmain.m4sh 2011-08-31 > > 21:50:53.0 +0200 +++ libtool.new/libltdl/config/ltmain.m4sh > > 2011-09-04 12:27:53.0 +0200 > > Please learn to use git for sending patches; tha

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-04 Thread Ralf Wildenhues
Hello Christophe, * Christophe Jarry wrote on Sun, Sep 04, 2011 at 12:55:37PM CEST: > --- libtool.orig/libltdl/config/ltmain.m4sh 2011-08-31 21:50:53.0 > +0200 > +++ libtool.new/libltdl/config/ltmain.m4sh2011-09-04 12:27:53.0 > +0200 Please learn to use git for sending pat

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-04 Thread Christophe Jarry
> Version type = linux has been used in libtool for a long time, changing it is > pointless, not in any way called for by the GNU coding standards, I understand that the value "linux" of the variable "version_type" is acceptable according to the GNU coding standards. I think the documentation wou

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-04 Thread Peter O'Gorman
On Sep 4, 2011, at 1:05 AM, Christophe Jarry wrote: > On Sat, 03 Sep 2011 16:34:51 -0500 > Peter O'Gorman wrote: > >> Please do not change the version type for libtool library versioning >> from linux to gnu-linux. [...] I object to this change. > > Could you please explain to me why you obje

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-03 Thread Christophe Jarry
On Sat, 03 Sep 2011 16:34:51 -0500 Peter O'Gorman wrote: > Please do not change the version type for libtool library versioning > from linux to gnu-linux. [...] I object to this change. Could you please explain to me why you object to this change? Thanks, Christophe

Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-03 Thread Peter O'Gorman
On 09/03/2011 02:10 PM, Christophe Jarry wrote: Dear developers, I have reported the following bug on (see http://lists.gnu.org/archive/html/bug-libtool/2011-07/msg2.html and http://lists.gnu.org/archive/html/bug-libtool/2011-08/msg1.html). On the documentation of libtool, the word "li

Bug 9210: fix to replace Linux with GNU/Linux where needed

2011-09-03 Thread Christophe Jarry
Dear developers, I have reported the following bug on (see http://lists.gnu.org/archive/html/bug-libtool/2011-07/msg2.html and http://lists.gnu.org/archive/html/bug-libtool/2011-08/msg1.html). On the documentation of libtool, the word "linux" is sometimes used to refer to the entire free