Re: [Xen-devel] [PATCH] Use non-debug build for Xen 4.10

[Julien Grall <julien.grall@xxxxxxxxxx>]

Hi Jan,

On 11/29/2017 01:29 PM, Jan Beulich wrote:
> > > > On 29.11.17 at 13:09, <julien.grall@xxxxxxxxxx> wrote:
> > Modify Config.mk and Kconfig.debug to disable debug by default in
> > preparation for late RCs and eventual release.
> >
> > Signed-off-by: Julien Grall <julien.grall@xxxxxxxxxx>
> >
> > ---
> >
> > I would like this to get included before branching. So we can cut the RC
> > right after branching.
> I think doing this before branching has proven a bad idea in the
> past, due to Coverity seeing a sufficiently different set of issues
> in both modes.
If Coverity requires debug then the .config used for coverity should 
have CONFIG_DEBUG=y.
So, I find rather strange to have to delay that patch just because of 
Coverity.
> I therefore think that turning off debug should
> actually be part of branching (e.g. be the first commit on the new
> stable branch).
Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel