On 10 October 2016 at 18:05, Eli Zaretskii <eliz@gnu.org> wrote:
> From: Reuben Thomas <rrt@sc3d.org>
> Date: Mon, 10 Oct 2016 18:01:34 +0100
> Cc: 24640@debbugs.gnu.org
>
>  It would be better to use CFLAGS='-O2 -gdwarf-4 -g3'.
>
> ​Is that something that should be mentioned in etc/DEBUG

It is there already.

​Indeed, I hadn't read far enough.

--