diff options
author | Ben Elliston <bje@gnu.org> | 2003-08-07 03:58:36 +0000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2003-08-07 03:58:36 +0000 |
commit | 360dd4f6262ca54ea33bf745ff5559a913748a46 (patch) | |
tree | c02ce8fa5d6c1fa19a2d089b4465d195ee058133 /config/ddb.exp | |
parent | d7b7156075df25716082174f6baf2ac0e163e939 (diff) | |
download | dejagnu-360dd4f6262ca54ea33bf745ff5559a913748a46.zip dejagnu-360dd4f6262ca54ea33bf745ff5559a913748a46.tar.gz dejagnu-360dd4f6262ca54ea33bf745ff5559a913748a46.tar.bz2 |
* Remove surplus semicolons in `for' commands.
Diffstat (limited to 'config/ddb.exp')
-rw-r--r-- | config/ddb.exp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/ddb.exp b/config/ddb.exp index 89ceb55..71a1a3f 100644 --- a/config/ddb.exp +++ b/config/ddb.exp @@ -41,9 +41,9 @@ proc ${board}_init { dest } { if ![info exists doing_ddb_init] { set doing_ddb_init 1 - for { set i 1; } { $i <= 3 } {incr i } { + for { set i 1 } { $i <= 3 } { incr i } { remote_close $dest - for { set x 0; } { $x < 3 } { incr x; } { + for { set x 0 } { $x < 3 } { incr x } { set shell_id [remote_open $dest] if { $shell_id == "" || $shell_id < 0 } { remote_reboot $dest |