92 |
} |
} |
93 |
|
|
94 |
set got_p 0 |
set got_p 0 |
95 |
for { set tries 0; } { (! $got_p) && $tries < 5 } { incr tries } { |
for { set tries 0 } { (! $got_p) && $tries < 5 } { incr tries } { |
96 |
remote_send $dest "\r\n\r\n" |
remote_send $dest "\r\n\r\n" |
97 |
remote_expect $dest 5 { |
remote_expect $dest 5 { |
98 |
-re "${shell_prompt}$" { |
-re "${shell_prompt}$" { |
279 |
set shell_prompt [board_info $dest shell_prompt] |
set shell_prompt [board_info $dest shell_prompt] |
280 |
|
|
281 |
if { [llength $args] > 0 } { |
if { [llength $args] > 0 } { |
282 |
for { set x 0; } { $x < [llength $args] } { incr x ; } { |
for { set x 0 } { $x < [llength $args] } { incr x } { |
283 |
if { [lindex $args $x] != "" } { |
if { [lindex $args $x] != "" } { |
284 |
verbose -log "Cannot pass parameters or input file to this target" |
verbose -log "Cannot pass parameters or input file to this target" |
285 |
return [list "unsupported" ""] |
return [list "unsupported" ""] |