[patch] Default to --enable-libstdcxx-time=auto

[Jakub Jelinek]

On Sat, May 25, 2013 at 04:07:11PM -0700, Benjamin De Kosnik wrote:
> 
> > Looks good to me.  
> 
> Great, trunk patch in.
> 
> > Will you prepare corresponding patch for the 4.8
> > branch too (I guess it should be pretty much the same, not sure if it
> > should keep using typedef system_clock steady_clock as before for the
> > non-MONOTONIC configuration, or if it should just do the same thing
> > as trunk)?
> 
> Same thing, I think. Testing now, ok when it completes?

Yes, thanks.

	Jakub