dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH] Fix --directory handling


From: Tom Tromey
Subject: [PATCH] Fix --directory handling
Date: Fri, 18 Aug 2017 11:59:21 -0600

I noticed while working on gdb that --directory handling doesn't work.
The problem is that with something like "--directory=gdb.gdb", [string
match] will not return true for the cases it is given.  Instead
matching "*/$directory" is needed when the srcdir is provided.

* runtest.exp: Fix --directory matching.
---
 ChangeLog   | 4 ++++
 runtest.exp | 5 ++++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 61cbbf5..1d939a9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2017-08-18  Tom Tromey  <address@hidden>
+
+       * runtest.exp: Fix --directory matching.
+
 2017-08-15  Ben Elliston  <address@hidden>
 
        * lib/framework.exp (xml_tag): New proc.
diff --git a/runtest.exp b/runtest.exp
index 173c9a4..02c10ed 100644
--- a/runtest.exp
+++ b/runtest.exp
@@ -1829,7 +1829,10 @@ 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]} {
+                           # Look for a directory that ends with the
+                           # provided --directory name.
+                           if {[string match "$directory" $dir]
+                               || [string match "*/$directory" $dir]} {
                                set found 1
                                break
                            }
-- 
2.9.4




reply via email to

[Prev in Thread] Current Thread [Next in Thread]