Re: debug builds with NO optimizations

[Harlan Stenn]

> $ diff -u {build1,build2}/Makefile
> 
> As you can see the Makefiles are identical and the config.statuses
> differ by only one insignificant whitespace.

Cool!

That didn't used to be the case, as I remember from the docs.

I do remember (perhaps incorrectly) that the difference was apparent
when running "config.status --recheck".

H