On October 4, 2018 6:35:57 PM GMT+02:00, David Malcolm
wrote:
>On Thu, 2018-10-04 at 12:45 +0200, Richard Biener wrote:
>> On Fri, 28 Sep 2018, David Malcolm wrote:
>>
>> > This patch introduces a verbosity level to dump messages:
>> > "user-facing" vs "internals".
>> >
>> > By default, message
On Thu, 2018-10-04 at 12:45 +0200, Richard Biener wrote:
> On Fri, 28 Sep 2018, David Malcolm wrote:
>
> > This patch introduces a verbosity level to dump messages:
> > "user-facing" vs "internals".
> >
> > By default, messages at the top-level dump scope are "user-facing",
> > whereas those that
On Fri, 28 Sep 2018, David Malcolm wrote:
> This patch introduces a verbosity level to dump messages:
> "user-facing" vs "internals".
>
> By default, messages at the top-level dump scope are "user-facing",
> whereas those that are in nested scopes are implicitly "internals",
> and are filtered ou
