diff options
author | Ben Elliston <bje@gnu.org> | 2016-04-05 00:48:30 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-04-05 00:48:30 +1000 |
commit | aa3debbed09828872ec81c5ce819c4791e5b4fa3 (patch) | |
tree | 7497a48867ac7f7bee33bfba84daf31e9c08b600 | |
parent | 9db682553ffc188b81b98d2846bb1b9ad49b2330 (diff) | |
download | dejagnu-aa3debbed09828872ec81c5ce819c4791e5b4fa3.zip dejagnu-aa3debbed09828872ec81c5ce819c4791e5b4fa3.tar.gz dejagnu-aa3debbed09828872ec81c5ce819c4791e5b4fa3.tar.bz2 |
* runtest.exp: Remove defunct and undocumented --tool_root option.
-rw-r--r-- | ChangeLog | 4 | ||||
-rw-r--r-- | runtest.exp | 10 |
2 files changed, 4 insertions, 10 deletions
@@ -1,3 +1,7 @@ +2016-04-05 Ben Elliston <bje@gnu.org> + + * runtest.exp: Remove defunct and undocumented --tool_root option. + 2016-04-04 Ben Elliston <bje@gnu.org> * doc/dejagnu.texi: More overhauling. diff --git a/runtest.exp b/runtest.exp index 442ade9..7a4cf66 100644 --- a/runtest.exp +++ b/runtest.exp @@ -500,11 +500,6 @@ for { set i 0 } { $i < $argc } { incr i } { continue } - "--tool_ro*" { - set tool_root_dir $optarg - continue - } - "--to*" { # (--tool) specify tool name set tool $optarg set comm_line_tool $optarg @@ -1164,11 +1159,6 @@ for { set i 0 } { $i < $argc } { incr i } { continue } - "--tool_ro*" { - set tool_root_dir $optarg - continue - } - "--to*" { # (--tool) specify tool name set tool $optarg verbose "Testing $tool" |