grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Daniel Kiper
Subject: Re: [PATCH 1/2] build: Fix option to explicitly disable memory debugging
Date: Mon, 9 Mar 2020 13:31:35 +0100
User-agent: NeoMutt/20170113 (1.7.2)

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 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 option "--disable-mm-deubg" will do the exact same
> >
> > s/deubg/debug/
>
> Thanks for pointing this out! Daniel, you want me to send out a v2 of
> this to fix the typo or will you fix it up locally?

I will fix it locally...

Daniel



reply via email to

[Prev in Thread] Current Thread [Next in Thread]