user passes the --directory option. Reported by Sergey Alyoshin.
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.
# 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
}