http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57212
--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-05-08 15:16:09 UTC --- Remember to regenerate Makefile.in.
paolo.carlini at oracle dot com Wed, 08 May 2013 08:16:17 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57212
--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-05-08 15:16:09 UTC --- Remember to regenerate Makefile.in.