37 |
set board_info($tname,m68k_connected) 1 |
set board_info($tname,m68k_connected) 1 |
38 |
set dos_host [board_info $dest dos_host] |
set dos_host [board_info $dest dos_host] |
39 |
|
|
40 |
for { set x 0; } { $x < 3 } { incr x; } { |
for { set x 0 } { $x < 3 } { incr x } { |
41 |
set shell_id [remote_open $dos_host] |
set shell_id [remote_open $dos_host] |
42 |
if { $shell_id == "" || $shell_id < 0 } { |
if { $shell_id == "" || $shell_id < 0 } { |
43 |
remote_reboot $dos_host |
remote_reboot $dos_host |
54 |
} |
} |
55 |
# Flush the buffer. |
# Flush the buffer. |
56 |
remote_expect $dos_host 2 { |
remote_expect $dos_host 2 { |
57 |
-re ".+" { exp_continue; } |
-re ".+" { exp_continue } |
58 |
} |
} |
59 |
# Get past first menu. |
# Get past first menu. |
60 |
remote_send $dos_host "\n" |
remote_send $dos_host "\n" |