Commit 8308984e479e3274a36e98e8272b5adbb6b774c2

Anthony Green 2013-01-08T15:14:21

Make sure we're running dejagnu tests with the right compiler.