From 5704cbfcf41f62aaba671a829dde9d69c2c6ece4 Mon Sep 17 00:00:00 2001 From: Ben Elliston Date: Tue, 14 Oct 2014 20:50:49 +1100 Subject: [PATCH] * runtest.exp: Only match $directory, not *${directory}* when the user passes the --directory option. Reported by Sergey Alyoshin. --- ChangeLog | 5 +++++ runtest.exp | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 9b26324..d639956 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2014-10-14 Ben Elliston + * runtest.exp: Only match $directory, not *${directory}* when the + user passes the --directory option. Reported by Sergey Alyoshin. + +2014-10-14 Ben Elliston + * 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 } -- 2.7.4