Re: [PATCH 1/2] build: Fix option to explicitly disable memory debugging

2020-03-09 Thread Daniel Kiper
On Mon, Mar 09, 2020 at 01:22:34PM +0100, Patrick Steinhardt wrote: > On Mon, Mar 09, 2020 at 12:18:41PM +0100, Paul Menzel wrote: > > Dear Patrick, > > > > On 2020-03-07 17:29, Patrick Steinhardt wrote: > > > The memory management system supports a debug mode that can be enabled > > > at build tim

Re: [PATCH 1/2] build: Fix option to explicitly disable memory debugging

2020-03-09 Thread Patrick Steinhardt
On Mon, Mar 09, 2020 at 12:18:41PM +0100, Paul Menzel wrote: > Dear Patrick, > > > On 2020-03-07 17:29, Patrick Steinhardt wrote: > > The memory management system supports a debug mode that can be enabled > > at build time by passing "--enable-mm-debug" to the configure script. > > Passing the op

Re: [PATCH 1/2] build: Fix option to explicitly disable memory debugging

2020-03-09 Thread Paul Menzel
Dear Patrick, On 2020-03-07 17:29, Patrick Steinhardt wrote: > The memory management system supports a debug mode that can be enabled > at build time by passing "--enable-mm-debug" to the configure script. > Passing the option will cause us define MM_DEBUG as expected, but in > fact the reverse o

Re: [PATCH 1/2] build: Fix option to explicitly disable memory debugging

2020-03-09 Thread Daniel Kiper
On Sat, Mar 07, 2020 at 05:29:08PM +0100, Patrick Steinhardt wrote: > The memory management system supports a debug mode that can be enabled > at build time by passing "--enable-mm-debug" to the configure script. > Passing the option will cause us define MM_DEBUG as expected, but in > fact the reve