On 09/04/2009 02:51 AM, Eric Botcazou wrote:
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
Thanks. I probably should have thought to look on our wiki... r~
