[patch] Makefile.flags: would this make more sense?

[Cristian Ionescu-Idbohrn]

On Thu, 5 Jun 2008, Denys Vlasenko wrote:

> On Tuesday 03 June 2008 22:06, Cristian Ionescu-Idbohrn wrote:
> > When using gdb, one would expect to have the source compiled with '-g -O0',
> > and not '-g -Os'.
>
> There were people who disagree (they say "debug what you ship").
> I see only one way to leave BOTH camps happy. Create a CONFIG_DEBUG0
> option (dependent on CONFIG_DEBUG) which forces -O0 build.
> Otherwise, -Os would be used.
>
> Can you do this?

I'll have a look at it.


Cheers,

-- 
Cristian