* runtest.exp: Only match $directory, not *${directory}* when the
authorBen Elliston <bje@gnu.org>
Tue, 14 Oct 2014 09:50:49 +0000 (20:50 +1100)
committerBen Elliston <bje@gnu.org>
Tue, 14 Oct 2014 09:50:49 +0000 (20:50 +1100)
user passes the --directory option. Reported by Sergey Alyoshin.

ChangeLog
runtest.exp

index 9b26324..d639956 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.
index 9f0997f..8e7c262 100644 (file)
@@ -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
                            }