This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "DejaGNU".
The branch, master has been updated
via f3817d617ee6c8c1edd04a7fc68daee6dbc4d9c2 (commit)
from 5fd435330645b1d11a104f352c6282d9e5712ef3 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit f3817d617ee6c8c1edd04a7fc68daee6dbc4d9c2
Author: Thomas Preud'homme <thomas.preudho...@arm.com>
Date: Sat Mar 11 07:25:32 2017 +1100
* lib/remote.exp (remote_download): Add logging message when
source and destination file differ in name.
Signed-off-by: Ben Elliston <b...@gnu.org>
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++++
lib/remote.exp | 1 +
2 files changed, 6 insertions(+)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
