>>> On 29.11.17 at 15:22, <julien.gr...@linaro.org> wrote: > On 11/29/2017 01:29 PM, Jan Beulich wrote: >>>>> On 29.11.17 at 13:09, <julien.gr...@linaro.org> 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.gr...@linaro.org> >>> >>> --- >>> >>> 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@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
