diff options
Diffstat (limited to 'lib/ssh.exp')
| -rw-r--r-- | lib/ssh.exp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ssh.exp b/lib/ssh.exp index 0241acf..8273af4 100644 --- a/lib/ssh.exp +++ b/lib/ssh.exp @@ -128,7 +128,7 @@ proc ssh_exec { boardname program pargs inp outp } { set name "" set hostname "" - verbose "Executing on $boardname:$program $pargs" + verbose "Executing on $boardname: $program $pargs" if {![board_info $boardname exists ssh_prog]} { set SSH ssh |