Commit 79666abca87ac67d2d05b477a3ba71ec18b8af0c

Anthony Green 2016-02-20T06:38:40

Merge pull request #205 from filbranden/tool_opts Fix dejagnu test support for --tool_opts