diff options
author | Thomas Preud'homme <thomas.preudhomme@arm.com> | 2017-03-11 07:25:32 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2017-03-11 07:25:32 +1100 |
commit | f3817d617ee6c8c1edd04a7fc68daee6dbc4d9c2 (patch) | |
tree | d7e7dfc3cd0991dde5fc7ef376c0e921f7438063 /lib | |
parent | 5fd435330645b1d11a104f352c6282d9e5712ef3 (diff) | |
download | dejagnu-f3817d617ee6c8c1edd04a7fc68daee6dbc4d9c2.zip dejagnu-f3817d617ee6c8c1edd04a7fc68daee6dbc4d9c2.tar.gz dejagnu-f3817d617ee6c8c1edd04a7fc68daee6dbc4d9c2.tar.bz2 |
* lib/remote.exp (remote_download): Add logging message when
source and destination file differ in name.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'lib')
-rw-r--r-- | lib/remote.exp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/remote.exp b/lib/remote.exp index f2c6345..4dd6a8a 100644 --- a/lib/remote.exp +++ b/lib/remote.exp @@ -440,6 +440,7 @@ proc remote_download { dest file args } { if { $destfile == "" || $destfile == $file } { return $file } else { + verbose -log "Downloading on $dest to $destfile: $file" 2 set result [catch "exec cp -p $file $destfile" output] if {[regexp "same file|are identical" $output]} { set result 0 |