diff options
author | Ben Elliston <bje@gnu.org> | 2017-06-04 14:07:16 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2017-06-04 14:07:16 +1000 |
commit | 616b89734330a6406063ec3da6d380ac5d44640a (patch) | |
tree | dcbf0379e9a15c5429538fe98140d36d42ef42bc /lib/target.exp | |
parent | 886c747c8ecf4b2ec1adaf6ece5022a09adf6715 (diff) | |
download | dejagnu-616b89734330a6406063ec3da6d380ac5d44640a.zip dejagnu-616b89734330a6406063ec3da6d380ac5d44640a.tar.gz dejagnu-616b89734330a6406063ec3da6d380ac5d44640a.tar.bz2 |
* lib/target.exp (push_target): Remove unnecessary global command.
* testsuite/runtest.all/target.test: Overhaul tests.
Diffstat (limited to 'lib/target.exp')
-rw-r--r-- | lib/target.exp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/target.exp b/lib/target.exp index 4bff1dd..67655e6 100644 --- a/lib/target.exp +++ b/lib/target.exp @@ -57,9 +57,7 @@ set text "\[- A-Za-z0-9\.\;\"\_\:\'\`\(\)\!\#\=\+\?\&\*]" # Set the target connection. # proc push_target { name } { - global target_abbrev - - pop_config target + pop_config target push_config target $name } |