From f3817d617ee6c8c1edd04a7fc68daee6dbc4d9c2 Mon Sep 17 00:00:00 2001
From: Thomas Preud'homme <thomas.preudhomme@arm.com>
Date: Sat, 11 Mar 2017 07:25:32 +1100
Subject: 	* lib/remote.exp (remote_download): Add logging message when 
 source and destination file differ in name.

Signed-off-by: Ben Elliston <bje@gnu.org>
---
 ChangeLog      | 5 +++++
 lib/remote.exp | 1 +
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 916fa04..bf804e3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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
-- 
cgit v1.1