Re: [PATCH 1/8] Add a flag to control the balance between GNAT encodings, and std. DWARF

[Richard Biener]

On Thu, Jul 16, 2015 at 10:52 AM, Andreas Schwab <sch...@suse.de> wrote:
> Pierre-Marie de Rodat <dero...@adacore.com> writes:
>
>> +fgnat-encodings=
>
> IMHO the option name should include "dwarf".

And start with -g

Richard.

> Andreas.
>
> --
> Andreas Schwab, SUSE Labs, sch...@suse.de
> GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
> "And now for something completely different."