diff options
author | Ben Elliston <bje@gnu.org> | 2016-04-05 00:48:30 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-04-05 00:48:30 +1000 |
commit | aa3debbed09828872ec81c5ce819c4791e5b4fa3 (patch) | |
tree | 7497a48867ac7f7bee33bfba84daf31e9c08b600 /ChangeLog | |
parent | 9db682553ffc188b81b98d2846bb1b9ad49b2330 (diff) | |
download | dejagnu-aa3debbed09828872ec81c5ce819c4791e5b4fa3.zip dejagnu-aa3debbed09828872ec81c5ce819c4791e5b4fa3.tar.gz dejagnu-aa3debbed09828872ec81c5ce819c4791e5b4fa3.tar.bz2 |
* runtest.exp: Remove defunct and undocumented --tool_root option.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,3 +1,7 @@ +2016-04-05 Ben Elliston <bje@gnu.org> + + * runtest.exp: Remove defunct and undocumented --tool_root option. + 2016-04-04 Ben Elliston <bje@gnu.org> * doc/dejagnu.texi: More overhauling. |