On Fri, Mar 10, 2017 at 02:57:45PM +0000, Thomas Preudhomme wrote: > 2017-03-03 Thomas Preud'homme <thomas.preudho...@arm.com> > > * lib/remote.exp (remote_download): Add logging message when source > and destination file differ in name.
This looks fine, thanks! Cheers, Ben _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
