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 ?