diff options
| author | Rob Savoye <rob@welcomehome.org> | 2007-08-28 19:01:20 +0000 |
|---|---|---|
| committer | Rob Savoye <rob@welcomehome.org> | 2007-08-28 19:01:20 +0000 |
| commit | 3f39294f5cd6802858838d3bcc0ccce847ae17f2 (patch) | |
| tree | 21a73d24f1c2590ce3520c43d3e5e90241f752a1 /lib/remote.exp | |
| parent | 711cfd6af52de1b17b4954194622edab34b70364 (diff) | |
| download | dejagnu-3f39294f5cd6802858838d3bcc0ccce847ae17f2.zip dejagnu-3f39294f5cd6802858838d3bcc0ccce847ae17f2.tar.gz dejagnu-3f39294f5cd6802858838d3bcc0ccce847ae17f2.tar.bz2 | |
Patch from Daniel Jacobowitz.
Diffstat (limited to 'lib/remote.exp')
| -rw-r--r-- | lib/remote.exp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/remote.exp b/lib/remote.exp index 4de8900..fe3825d 100644 --- a/lib/remote.exp +++ b/lib/remote.exp @@ -637,8 +637,8 @@ proc standard_send { dest string } { } else { set shell_id [board_info $dest fileid] verbose "shell_id in standard_send is $shell_id" 3 - verbose "send -i [board_info $dest fileid] -- {$string}" 3 - if {[catch "send -i [board_info $dest fileid] -- {$string}" errorInfo]} { + verbose "send -i [board_info $dest fileid] -- $string" 3 + if {[catch "send -i [board_info $dest fileid] -- \$string" errorInfo]} { return "$errorInfo" } else { return "" |