This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH 1/8] Add a flag to control the balance between GNAT encodings, and std. DWARF
- From: Andreas Schwab <schwab at suse dot de>
- To: Pierre-Marie de Rodat <derodat at adacore dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 16 Jul 2015 10:52:57 +0200
- Subject: Re: [PATCH 1/8] Add a flag to control the balance between GNAT encodings, and std. DWARF
- Authentication-results: sourceware.org; auth=none
- References: <55A76C7B dot 7080303 at adacore dot com> <55A76CC4 dot 4030801 at adacore dot com>
Pierre-Marie de Rodat <derodat@adacore.com> writes:
> +fgnat-encodings=
IMHO the option name should include "dwarf".
Andreas.
--
Andreas Schwab, SUSE Labs, schwab@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."