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 | |
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.
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | runtest.exp | 2 |
2 files changed, 6 insertions, 1 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. diff --git a/runtest.exp b/runtest.exp index 9f0997f..8e7c262 100644 --- a/runtest.exp +++ b/runtest.exp @@ -1838,7 +1838,7 @@ foreach current_target $target_list { # list of directories. Look for match on each item. set found 0 foreach directory $cmdline_dir_to_run { - if {[string match "*${directory}*" $dir]} { + if {[string match $directory $dir]} { set found 1 break } |