* lib/remote.exp (remote_download): Add logging message when

source and destination file differ in name. Signed-off-by: Ben Elliston <bje@gnu.org>
10 years ago · f3817d617e
2 changed files with 6 additions and 0 deletions
--- a/5
+++ b/5
@ -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.
--- 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