Merge pull request #205 from filbranden/tool_opts
authorAnthony Green <green@moxielogic.com>
Sat, 20 Feb 2016 11:38:40 +0000 (06:38 -0500)
committerAnthony Green <green@moxielogic.com>
Sat, 20 Feb 2016 11:38:40 +0000 (06:38 -0500)
Fix dejagnu test support for --tool_opts


Trivial merge