1. 2009-10-15 [2] [Bug-dejagnu] More about dejagnu bug dejagnu-bug Rob Savoye 2. 2009-10-15 [1] [Bug-dejagnu] Can't get good make check results with dejagnu 1.4.4 dejagnu-bug JohnT