diff --git a/ChangeLog b/ChangeLog index 916fa04..bf804e3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2017-03-11 Thomas Preud'homme + + * lib/remote.exp (remote_download): Add logging message when + source and destination file differ in name. + 2016-09-04 Jan Kratochvil * 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