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