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

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 29.11.17 at 15:22, <julien.grall@xxxxxxxxxx> wrote:
> 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.

That would be wrong on stable branches. Coverity works on either
build, but produces significantly different results for the two cases.

Jan


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