diff options
author | Ben Elliston <bje@gnu.org> | 2014-10-14 20:50:49 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2014-10-14 20:50:49 +1100 |
commit | 5704cbfcf41f62aaba671a829dde9d69c2c6ece4 (patch) | |
tree | 18e10c4bc83dfdfcdbf07bbeb26fc070d48a43cc /ChangeLog | |
parent | 755053ffe1c4cec9b230f1972bdb6d46822e3fb6 (diff) | |
download | dejagnu-5704cbfcf41f62aaba671a829dde9d69c2c6ece4.zip dejagnu-5704cbfcf41f62aaba671a829dde9d69c2c6ece4.tar.gz dejagnu-5704cbfcf41f62aaba671a829dde9d69c2c6ece4.tar.bz2 |
* runtest.exp: Only match $directory, not *${directory}* when the
user passes the --directory option. Reported by Sergey Alyoshin.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,5 +1,10 @@ 2014-10-14 Ben Elliston <bje@gnu.org> + * runtest.exp: Only match $directory, not *${directory}* when the + user passes the --directory option. Reported by Sergey Alyoshin. + +2014-10-14 Ben Elliston <bje@gnu.org> + * lib/dejagnu.exp (host_execute): Remove buffer_full check. This is not the right command keyword -- it is full_buffer. Reported by David Malcolm. |