diff options
-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 } |