https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63302
--- Comment #26 from dave.anglin at bell dot net --- On 17-Oct-14, at 7:10 AM, jakub at gcc dot gnu.org wrote: > Should be fixed now. Thanks, Jakub. Dave -- John David Anglin dave.ang...@bell.net
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63302
--- Comment #26 from dave.anglin at bell dot net --- On 17-Oct-14, at 7:10 AM, jakub at gcc dot gnu.org wrote: > Should be fixed now. Thanks, Jakub. Dave -- John David Anglin dave.ang...@bell.net