On Thursday, 15 January 2015 at 12:01:05 UTC, Johannes Pfau wrote:


After some google-fu:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=192
Considering this was filed in 2000 I'd say it's not very likely to get
fixed soon :-(


That looks right-on, and knowing the likely cause, I should able to engineer a workaround for now. Nice find, and thank you!

Mike

Reply via email to