> I haven't been able to figure out what command to issue from the command > line to reproduce this. Cut and paste from the dejagnu log doesn't > work, which is more than annoying...
There is a blurb about this on http://gcc.gnu.org/wiki/DebuggingGCC -- Eric Botcazou