* runtest.exp: Remove defunct and undocumented --tool_root option.

10 years ago · aa3debbed0
2 changed files with 4 additions and 10 deletions
--- a/4
+++ b/4
@ -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.
--- 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"