diff options
-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" } |