[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bug 9210: fix to replace Linux with GNU/Linux where needed
From: |
Christophe Jarry |
Subject: |
Re: Bug 9210: fix to replace Linux with GNU/Linux where needed |
Date: |
Sun, 4 Sep 2011 18:25:01 +0200 |
Hello Ralf,
On Sun, 04 Sep 2011 15:22:55 +0200
"Ralf Wildenhues" <address@hidden> wrote:
> > --- libtool.orig/libltdl/config/ltmain.m4sh 2011-08-31
> > 21:50:53.000000000 +0200 +++ libtool.new/libltdl/config/ltmain.m4sh
> > 2011-09-04 12:27:53.000000000 +0200
>
> Please learn to use git for sending patches; thanks!
Please tell me precisely how I should send a patch to you the good way.
> > -# No shared lib support for Linux oldld, aout, or coff.
> > +# No shared lib support for GNU/Linux oldld, aout, or coff.
>
> Ugh. What is oldld? Is it Linux or GNU specific (or both)?
> Because the urge to call something GNU/Linux is definitely only valid for
> things that are, in fact, not just one of the two.
That is why I wrote in my first message
(http://lists.gnu.org/archive/html/libtool-patches/2011-09/msg00002.html):
I may have replaced "Linux" by "GNU/Linux" even if "Linux" was used to refer
to the "kernel Linux". If that is the case somewhere in the patch, please
tell me and explain me. I will modify my patch accordingly.
So are "oldld", "aout" and "coff" things from the kernel Linux? If not, where do
they come from?
Christophe
- Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/03
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Peter O'Gorman, 2011/09/03
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/04
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Peter O'Gorman, 2011/09/04
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/04
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Ralf Wildenhues, 2011/09/04
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed,
Christophe Jarry <=
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/05
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Bob Friesenhahn, 2011/09/05
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/11
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Peter O'Gorman, 2011/09/25
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/26
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Paolo Bonzini, 2011/09/12