http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52680
--- Comment #2 from Matt Kline <mkline at cs dot wisc.edu> 2012-03-23 13:19:44 UTC --- Thanks for shedding some light on this. Is there a reason that --enable-libstdccxx-time isn't shown on http://gcc.gnu.org/install/configure.html?
