diff options
| author | Ben Elliston <bje@gnu.org> | 2016-04-13 10:40:25 +1000 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2016-04-13 10:40:25 +1000 |
| commit | da57e729a161d0df6ae74bae160622b89bcbd23e (patch) | |
| tree | 954541227f900ba69595e91c2c9907c88ef43903 | |
| parent | 57907758c5bfe9021ad666294e201e66c9dc5e99 (diff) | |
| download | dejagnu-da57e729a161d0df6ae74bae160622b89bcbd23e.tar.gz dejagnu-da57e729a161d0df6ae74bae160622b89bcbd23e.tar.bz2 dejagnu-da57e729a161d0df6ae74bae160622b89bcbd23e.zip | |
* lib/rsh.exp (rsh_exec): Improve verbose message.
* lib/ssh.exp (ssh_exec): Likewise.
| -rw-r--r-- | lib/rsh.exp | 2 | ||||
| -rw-r--r-- | lib/ssh.exp | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/rsh.exp b/lib/rsh.exp index c4d2afa..6709c95 100644 --- a/lib/rsh.exp +++ b/lib/rsh.exp @@ -226,7 +226,7 @@ proc rsh_upload {desthost srcfile destfile} { proc rsh_exec { boardname program pargs inp outp } { global timeout - verbose "Executing on $boardname:$program $pargs < $inp" + verbose "Executing on $boardname: $program $pargs < $inp" if {![board_info $boardname exists rsh_prog]} { if { [which remsh] != 0 } { 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 |