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 /runtest.exp | |
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 'runtest.exp')
-rw-r--r-- | runtest.exp | 2 |
1 files changed, 1 insertions, 1 deletions
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 } |