search for: 471f53fe

Hi, We were wondering if *all* of the dejagnu tests should pass (in the sense that no result should be unexpected), because we have a few failed tests on our build. I will mail the summary once my current build is done.