Commit 0b4986a7889ed1864674192228f1162c1b5770a8

Anthony Green 2013-01-11T11:19:52

[travis] install dejagnu with sudo