Commit 3fa2bf107b7965ac7d65f7cc1ff7fa3dd1cc1b38

Tom Tromey 1996-06-02T17:14:29

Bug fixes. More dejagnu support