> 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

Reply via email to