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 /runtest.exp | |
parent | 9db682553ffc188b81b98d2846bb1b9ad49b2330 (diff) | |
download | dejagnu-aa3debbed09828872ec81c5ce819c4791e5b4fa3.zip dejagnu-aa3debbed09828872ec81c5ce819c4791e5b4fa3.tar.gz dejagnu-aa3debbed09828872ec81c5ce819c4791e5b4fa3.tar.bz2 |
* runtest.exp: Remove defunct and undocumented --tool_root option.
Diffstat (limited to 'runtest.exp')
-rw-r--r-- | runtest.exp | 10 |
1 files changed, 0 insertions, 10 deletions
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" |