From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jimmy Guo To: Fernando Nasser Cc: Geoff Keating , gdb-patches@sourceware.cygnus.com Subject: [RFA] dejagnu runtest.exp *dir_to_run Date: Mon, 07 Aug 2000 11:00:00 -0000 Message-id: References: X-SW-Source: 2000-08/msg00141.html Here is the part of the changes backed out. Geoff, I'd appreciate if you can try GCC testing with this patch and report back the outcome ... I don't expect that you'd see any problem but just to play it extra safe ... - Jimmy Guo, guo@cup.hp.com 2000-08-07 Jimmy Guo Re-apply this change which needn't be backed out: * runtest.exp: Handle multiple directories in TCL variables dir_to_run and cmdline_dir_to_run. Index: runtest.exp =================================================================== RCS file: /cvs/src/src/dejagnu/runtest.exp,v retrieving revision 1.4 diff -c -r1.4 runtest.exp *** runtest.exp 2000/08/05 06:34:02 1.4 --- runtest.exp 2000/08/07 17:53:42 *************** *** 1730,1736 **** # value (for example in MULTIPASS) and the test # directory matches that directory. if {[info exists dir_to_run] && $dir_to_run != ""} { ! if ![string match "*${dir_to_run}*" $dir] { continue } } --- 1730,1745 ---- # value (for example in MULTIPASS) and the test # directory matches that directory. if {[info exists dir_to_run] && $dir_to_run != ""} { ! # JYG: dir_to_run might be a space delimited list ! # of directories. Look for match on each item. ! set found 0 ! foreach directory $dir_to_run { ! if [string match "*${directory}*" $dir] { ! set found 1 ! break ! } ! } ! if {!$found} { continue } } *************** *** 1740,1746 **** # directory matches that directory if {[info exists cmdline_dir_to_run] \ && $cmdline_dir_to_run != ""} { ! if ![string match "*${cmdline_dir_to_run}*" $dir] { continue } } --- 1749,1764 ---- # directory matches that directory if {[info exists cmdline_dir_to_run] \ && $cmdline_dir_to_run != ""} { ! # JYG: cmdline_dir_to_run might be a space delimited ! # list of directories. Look for match on each item. ! set found 0 ! foreach directory $cmdline_dir_to_run { ! if [string match "*${directory}*" $dir] { ! set found 1 ! break ! } ! } ! if {!$found} { continue } }