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