http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55621



Jason Vas Dias <jason.vas.dias at gmail dot com> changed:



           What    |Removed                     |Added

----------------------------------------------------------------------------

             Status|WAITING                     |RESOLVED

         Resolution|                            |WORKSFORME



--- Comment #7 from Jason Vas Dias <jason.vas.dias at gmail dot com> 2012-12-09 
09:11:38 UTC ---

Yes, that was it. Sorry - maybe the dejagnu version could be detected and

complained about if insufficient ?

Reply via email to