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 | |
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>
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | lib/remote.exp | 1 |
2 files changed, 6 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2017-03-11 Thomas Preud'homme <thomas.preudhomme@arm.com> + + * lib/remote.exp (remote_download): Add logging message when + source and destination file differ in name. + 2016-09-04 Jan Kratochvil <jan.kratochvil@redhat.com> * runtest.exp: Set CCACHE_DISABLE, clear CCACHE_NODISABLE. 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 |