------- Additional Comments From pinskia at gcc dot gnu dot org 2005-05-12 06:27 ------- Shouldn't the dejagnu timeout come into effect anyways?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21526
pinskia at gcc dot gnu dot org Wed, 11 May 2005 23:27:24 -0700
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-05-12 06:27 ------- Shouldn't the dejagnu timeout come into effect anyways?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21526