diff options
Diffstat (limited to 'baseboards/usparc-cygmon.exp')
| -rw-r--r-- | baseboards/usparc-cygmon.exp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/baseboards/usparc-cygmon.exp b/baseboards/usparc-cygmon.exp index 076c03c..6584f57 100644 --- a/baseboards/usparc-cygmon.exp +++ b/baseboards/usparc-cygmon.exp @@ -24,7 +24,7 @@ proc ${board}_init { dest } { remote_send $dest "\n" set got_one 0 remote_expect $dest 5 { - -re "$shell_prompt" { set got_one 1; exp_continue; } + -re "$shell_prompt" { set got_one 1; exp_continue } default { if { ! $got_one } { remote_close $dest |