[patch] Fix --enable-libstdcxx-time documentation, show configure result

[Miles Bader]

On Sat, May 1, 2010 at 5:59 PM, Paolo Carlini <pcarlini@gmail.com> wrote:
>> So what's the right way to proceed on this?
>
> The right way to proceed is not proceeding.

That answer isn't informative enough to be useful.

Thanks,

-Miles


-- 
Do not taunt Happy Fun Ball.