On 9/10/19 6:48 PM, Jakub Jelinek wrote:
> On Tue, Sep 10, 2019 at 05:46:14PM +0100, Richard Sandiford wrote:
>> Jakub Jelinek writes:
>>> On Tue, Sep 10, 2019 at 06:14:11PM +0200, Martin Liška wrote:
On 9/9/19 11:14 PM, Joseph Myers wrote:
> On Mon, 9 Sep 2019, Jakub Jelinek wrote:
>
On Tue, Sep 10, 2019 at 05:46:14PM +0100, Richard Sandiford wrote:
> Jakub Jelinek writes:
> > On Tue, Sep 10, 2019 at 06:14:11PM +0200, Martin Liška wrote:
> >> On 9/9/19 11:14 PM, Joseph Myers wrote:
> >> > On Mon, 9 Sep 2019, Jakub Jelinek wrote:
> >> >
> >> > > > "IgnoreWarn" reads as "ignore
On Tue, Sep 10, 2019 at 05:46:14PM +0100, Richard Sandiford wrote:
> Jakub Jelinek writes:
> > On Tue, Sep 10, 2019 at 06:14:11PM +0200, Martin Liška wrote:
> >> On 9/9/19 11:14 PM, Joseph Myers wrote:
> >> > On Mon, 9 Sep 2019, Jakub Jelinek wrote:
> >> >
> >> > > > "IgnoreWarn" reads as "ignore
Jakub Jelinek writes:
> On Tue, Sep 10, 2019 at 06:14:11PM +0200, Martin Liška wrote:
>> On 9/9/19 11:14 PM, Joseph Myers wrote:
>> > On Mon, 9 Sep 2019, Jakub Jelinek wrote:
>> >
>> > > > "IgnoreWarn" reads as "ignore the warning".
>> > > >
>> > > > If we want it named as two things, can we jus
On Tue, Sep 10, 2019 at 06:14:11PM +0200, Martin Liška wrote:
> On 9/9/19 11:14 PM, Joseph Myers wrote:
> > On Mon, 9 Sep 2019, Jakub Jelinek wrote:
> >
> > > > "IgnoreWarn" reads as "ignore the warning".
> > > >
> > > > If we want it named as two things, can we just make it two things?
> > > > "
On 9/9/19 11:14 PM, Joseph Myers wrote:
On Mon, 9 Sep 2019, Jakub Jelinek wrote:
"IgnoreWarn" reads as "ignore the warning".
If we want it named as two things, can we just make it two things?
"Ignore WarnDeleted" or something. Which also says what it is warning
about.
Or WarnRemoved. Both
On Mon, 9 Sep 2019, Jakub Jelinek wrote:
> > "IgnoreWarn" reads as "ignore the warning".
> >
> > If we want it named as two things, can we just make it two things?
> > "Ignore WarnDeleted" or something. Which also says what it is warning
> > about.
>
> Or WarnRemoved. Both work for me, but ult
On Mon, Sep 09, 2019 at 09:08:43AM -0500, Segher Boessenkool wrote:
> On Mon, Sep 09, 2019 at 04:04:01PM +0200, Jakub Jelinek wrote:
> > On Mon, Sep 09, 2019 at 08:56:17AM -0500, Segher Boessenkool wrote:
> > > Hi Martin,
> > >
> > > On Mon, Sep 09, 2019 at 03:04:20PM +0200, Martin Liška wrote:
>
On Mon, Sep 09, 2019 at 04:04:01PM +0200, Jakub Jelinek wrote:
> On Mon, Sep 09, 2019 at 08:56:17AM -0500, Segher Boessenkool wrote:
> > Hi Martin,
> >
> > On Mon, Sep 09, 2019 at 03:04:20PM +0200, Martin Liška wrote:
> > > I'm suggesting to rename Deprecated to IgnoreWarn
> >
> > That is an even
On Mon, Sep 09, 2019 at 08:56:17AM -0500, Segher Boessenkool wrote:
> Hi Martin,
>
> On Mon, Sep 09, 2019 at 03:04:20PM +0200, Martin Liška wrote:
> > I'm suggesting to rename Deprecated to IgnoreWarn
>
> That is an even worse name IMO.
>
> Just call it Removed or Deleted or something like that?
Hi Martin,
On Mon, Sep 09, 2019 at 03:04:20PM +0200, Martin Liška wrote:
> I'm suggesting to rename Deprecated to IgnoreWarn
That is an even worse name IMO.
Just call it Removed or Deleted or something like that? Something that
says what it _is_, not something that is an amalgamate of how we sh
Hi.
I'm suggesting to rename Deprecated to IgnoreWarn as deprecated
means that an option is still working, but marked as obsolete.
We use the name for options that removed (no longer supported),
but still supported for backward compatibility.
Patch can bootstrap on x86_64-linux-gnu and survives r
12 matches
Mail list logo
