This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
[RFA] dejagnu runtest.exp *dir_to_run
- To: Fernando Nasser <fnasser at cygnus dot com>
- Subject: [RFA] dejagnu runtest.exp *dir_to_run
- From: Jimmy Guo <guo at cup dot hp dot com>
- Date: Mon, 7 Aug 2000 11:00:42 -0700 (PDT)
- Cc: Geoff Keating <geoffk at cygnus dot com>,gdb-patches at sourceware dot cygnus dot com
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 <guo@cup.hp.com>
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
}
}