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

[Miles Bader]

On Sat, May 1, 2010 at 10:46 PM, Paolo Carlini <pcarlini@gmail.com> wrote:
>>> The right way to proceed is not proceeding.
>>
>> That answer isn't informative enough to be useful.
>
> Too bad for you, but it's clear enough to the concerned people, that is me,
> Jon, the other library maintainers.

So anyone else have a comment?

libstdc++ is clearly missing functionality in many distros, and it
would be nice to add it.  As has been mentioned in this thread, in
many cases, this is possible without changes in libstdc++, and without
overhead, by simply changing the configure options used, and not
relying on the defaults.  I'm proposing to do this in debian, and so
far, there's no indication that this would cause any problems.
[Paolo, if you know a reason, please say it.]

Of course it would be nice to have it do the right thing by default
when possible too, and that's going to require at least a more clever
configure script.

Thanks,

-Miles

-- 
Do not taunt Happy Fun Ball.