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)
commit79666abca87ac67d2d05b477a3ba71ec18b8af0c
tree6108975c0790660a105075aa9a3c9cfa3d7858e4
parent20c7c31ca04350670012b28756d4ebc9e7b67a68
parent89b760503ed017233c98531908dfe8d8affab65e
Merge pull request #205 from filbranden/tool_opts

Fix dejagnu test support for --tool_opts