[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enha
From: |
Eli Zaretskii |
Subject: |
Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch) |
Date: |
Mon, 29 Apr 2013 18:19:23 +0300 |
> Date: Mon, 29 Apr 2013 09:58:50 +0100
> From: Tim Murphy <address@hidden>
> Cc: "address@hidden" <address@hidden>
>
> try interpreting error messages from compiler/tool X when they're 10
> lines from the file that they refer to and don't include the
> filename in the error message.
That's unrelated: interpreting such output will be hard no matter what
order it comes in.
> b) Demand is usually only going to come from the few anyhow. I think this
> is one of those features that few people will know to turn on but many will
> benefit anyhow. The reason is that you will start to be able to write
> generic make output analysis tools.
People who write programs that parse Make output will find and use
this switch anyway; we could announce that prominently in NEWS if you
think the feature could go unnoticed.
But that is irrelevant to interactive human users and their use cases.
> c) Lets benchmark it on something like an android build and you can make a
> decision after that? Heck, lets try it with various things and be happy it
> works.
I already tried it, and I'm not happy, FWIW.
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, (continued)
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Paul Smith, 2013/04/18
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Frank Heckenbach, 2013/04/18
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Paul Smith, 2013/04/28
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, David Boyce, 2013/04/28
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Eli Zaretskii, 2013/04/28
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Eli Zaretskii, 2013/04/28
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Paul Smith, 2013/04/28
- Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Paul Smith, 2013/04/28
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Eli Zaretskii, 2013/04/28
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Tim Murphy, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch),
Eli Zaretskii <=
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Tim Murphy, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Eli Zaretskii, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Tim Murphy, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Philip Guenther, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Tim Murphy, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Eli Zaretskii, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Tim Murphy, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Eli Zaretskii, 2013/04/29
- Re: Default output-sync setting (was: Re: [bug #33138] .PARLLELSYNC enhancement with patch), Edward Welbourne, 2013/04/29
- Re: Default output-sync setting, Stefano Lattarini, 2013/04/29