diff options
| author | Jason Molenda <jmolenda@apple.com> | 1999-12-07 04:02:17 +0000 |
|---|---|---|
| committer | Jason Molenda <jmolenda@apple.com> | 1999-12-07 04:02:17 +0000 |
| commit | 2fd31b7fe1b054ad40afbd273e6f892b1dc1f5a1 (patch) | |
| tree | 05d4b8163304c1df59ab2eca0b5802e43e2e4b24 | |
| parent | 4ccf1d2ee9e861be25ddab19b86d7f778ee48ea5 (diff) | |
| download | gdb-2fd31b7fe1b054ad40afbd273e6f892b1dc1f5a1.tar.gz | |
import dejagnu-1999-12-06 snapshotdejagnu-1999-12-06
| -rw-r--r-- | dejagnu/Makefile.in | 2 | ||||
| -rw-r--r-- | dejagnu/runtest.exp | 10 |
2 files changed, 9 insertions, 3 deletions
diff --git a/dejagnu/Makefile.in b/dejagnu/Makefile.in index 01ca8da115c..baf20b82ff7 100644 --- a/dejagnu/Makefile.in +++ b/dejagnu/Makefile.in @@ -64,7 +64,7 @@ EXEEXT = @EXEEXT@ MAINT = @MAINT@ MAKEINFO = @MAKEINFO@ PACKAGE = @PACKAGE@ -VERSION = 19991115@VERSION@ +VERSION = 19991206@VERSION@ AUTOMAKE_OPTIONS = cygnus diff --git a/dejagnu/runtest.exp b/dejagnu/runtest.exp index 3821d62eab2..234a98cfee7 100644 --- a/dejagnu/runtest.exp +++ b/dejagnu/runtest.exp @@ -980,8 +980,8 @@ for { set i 0 } { $i < $argc } { incr i } { "--ou*" - "--sr*" - "--st*" - - "--ta*" - + "--di*" - "--to*" { incr i set optarg [lindex $argv $i] @@ -1029,8 +1029,14 @@ for { set i 0 } { $i < $argc } { incr i } { continue } + "--di*" { + # Already parsed (and don't set again). Let $DEJAGNU rename it. + # set cmdline_dir_to_run $optarg + continue + } + - "--d*" { # (--debug) expect internal debugging + "--de*" { # (--debug) expect internal debugging if [file exists ./dbg.log] { catch "exec rm -f ./dbg.log" } |