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.

-- 
http://rrt.sc3d.org