Merge dg-options and dg-additional-options (with a target directive)?

[Martin Liška]

On 4/14/20 1:26 PM, Jakub Jelinek wrote:
> On Tue, Apr 14, 2020 at 01:11:36PM +0200, Martin Liška wrote:
>> Hi.
>>
>> I've noticed that various files compile both these directives.
>> Do we want to merge them into dg-options?
> 
> I'd defer for GCC11

I'm fine with that.

> , and only do it if the line doesn't get way too long.

How long? 80 characters?

Martin

> 
> 	Jakub
>