diff options
Diffstat (limited to 'config/ddb-ether.exp')
| -rw-r--r-- | config/ddb-ether.exp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/ddb-ether.exp b/config/ddb-ether.exp index 88c707e..336763c 100644 --- a/config/ddb-ether.exp +++ b/config/ddb-ether.exp @@ -27,7 +27,7 @@ proc ${board}_init { dest } { set doing_ddb_init 1 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 @@ -54,7 +54,7 @@ proc ${board}_init { dest } { } proc ddb_ether_load { dest prog args } { - for { set x 0; } { $x < 3 } { incr x } { + for { set x 0 } { $x < 3 } { incr x } { set result [eval remote_spawn \{$dest\} \{$prog\} $args] if { $result < 0 } { remote_reboot $dest |